Generate rather more compact /Differences tables for font encodings, mostly