Add back execute-extended-command as a shortcut.