chiark / gitweb /
skip rule, if too may keys of the same type are used