chiark / gitweb /
rules: add "do not edit header"