as title
it should be obvious how helpful this would be when it comes to backing up / sharing hotkeys
and on top of its inherent benefit, currently there is the risk of getting hotkeys borked when switching to PUP / getting updates that adds hotkeys, which makes such option even more important
2 Likes