chiark / gitweb /
Update paths and hostname (bot hosted on chiark these days)