This page has moved to
https://www.argtools.com/argeditor/keyboard-shortcuts