chiark / gitweb /
documentation style: Two hunks of my personal preference