chiark / gitweb /
website: we have a gitweb now, so update various developer info