Various little scripts for RoboFont