chiark / gitweb /
tree-wide: remove some double newlines in headers, too