2026-09-28: Due to updates GitLab may be unavailable for some minutes between 10:30 and 13:00.
Updating the "Updates ... branch" trouhg merging master into it.