Extensions for RoboFont