This server has been upgraded to GitLab release v18.0.1 on 02.06.2025.
Interested parties can even contribute by pushing commits if they want to.