chiark / gitweb /
mkrules keys the rules key off `bad' rather than `good' (since some fonts have differ...