made hotkey replacement a tad safer

now storing original functions in an unlikely space that survives
reloading (ext._original_commands) so it is probably safe to reload
this file now… but please understand the code before you do, or it’s on
your head!