The domain of GitLab pages changed on 2020-09-07, which invalids old URLs. This fixes the link to the documentation.