chiark / gitweb /
tree-wide: remove consecutive duplicate words in comments