Add some more labels, control-key operations, and unreverting