chiark / gitweb /
etc/config.sh: Publish through dedicated server account.