chiark / gitweb /
quoting etc.