Shortcut editing by Shortcut Recorder.
Some code by Daniel Grobe Sachs
and Jonathan ‘Wolf’ Rentzsch.