“chording” is another name for Chorded shortcut.