I experimented with changing the configuration folder under About, and see that it doesn’t affect all devices, so different devices can have different configurations and therefore different hotkeys. I’ll use that feature for now, even though that requires me to repeat making any plugin/other settings changes across each device whenever I do. Nevertheless, I’m grateful for solution that is less frustrating that where I started. Thanks.
I’ll still keep the feature request open though.