chiark / gitweb /
keep some of our own settings