If I changed this to be <alt>/<ctr>(/<win-key>?) selectable via the config file (or even switched off altogether) would that be considered more useful?
If I changed this to be <alt>/< ctr>(/< win-key> ?) selectable via the config file (or even switched off altogether) would that be considered more useful?