This PR updates the links to point from the old GitHub Pages website to the new GitLab Pages website.