Font things
A tiny
python script
to subset fonts, the other options were worse.
TODO: think a little harder what goes in the wiki and what goes in the dotrc repo?