A bunch of patches

All these patches are already used in RoboFont.