Hi @August. You might know this already, but with the second generation of my Desktop Spaces macros, you can set change any of the hotkeys. See: Desktop Spaces • Macros to Improve Navigation and Window Management
For more information, see the wiki Searching the Forum for Answers section.