chiark / gitweb /
documentation style: No "if ... ; consequence".