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