403 Forbidden for gitlab documentation

Hi @noaahhh,

The situation is under control:

The migration is not yet complete, as it involves some major version changes. I hope to be finished by this evening.