WIP: Fix savefile
see the commits for detail.
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.
see the commits for detail.