Small fixes
A bit of a grab bag, as usual.
Server has been moved and upgraded to a much newer gitlab version, as you see. Your ssh client will very likely complain that the host keys have changed. This is normal, they have.
A bit of a grab bag, as usual.