chiark / gitweb /
server: reorganise setup