Retarget: more cleaning up, more shortcuts.
Automatic translation will generate labels only when needed. A hand-coded version of the task switcher is included for educational purposes.