* mkrules keys the rules key off `bad' rather than `good' (since
some fonts have different metrics before and after!)
* In copyright file, more clearly annotate the two copyright files.
+ * Process `10x20' too. (It was shifted down a pixel during the
+ conversion; we don't undo this, yet. So far, we just fix the quotes.)
-- Ian Jackson <ijackson@chiark.greenend.org.uk> Sun, 24 Apr 2016 22:07:21 +0100