Maintenance operation of our GitLab server is scheduled for Thursday, March 13, 2025, at 2PM.
Incomplete version before merge with new develop-nr
