chiark / gitweb /
Also replace git@gitlab.com submodule urls