robot-animation: Neater toggleable display of edit controls.