chiark / gitweb /
rules: drop redundant match