A To-Do manager for RoboFont