2025-06-11: Due to updates GitLab may be unavailable for some minutes between 13:00 and 17:00.
Docs after efischer edited, but before merging with @adamjsteward's stuff.