We don't use this underlay anymore, and its mere presence currently
breaks tails-website-update-underlays: we pointed the remote
to that repo to our GitLab, but we did not migrate that repo
to GitLab.