#9094: Other shortcut changes