@Suiseiseki One can run ‘git clone https://gitlab.com/…’. The page itself isn’t that useful anyway, at least in this case.