The default keyboard shortcut for desktop switching needs to be something else

macOS has extended characters that are typed by doing Opt+number, in fact those are ¡™£¢∞§¶•ª. I had the need to use one of those today and couldn’t. I eventually found that Boxvy is intercepting Opt+1…9 by default. I don’t use Boxvy’s desktop feature (since macOS has this functionality built-in). And there seems to be no way to stop Boxvy from intercepting some keybinding. The default definitely should not be Opt+0…9 (or Opt+Shift) since those are used to type certain characters as I explained. There should be a way to disable the keybindings entirely. I don’t use this feature, but Boxvy is going to intercept some keybindings regardless. Opt and Opt+Shift are used for typing, Cmd+# is used to switch tabs in Safari, Cmd+Shift + 3 and 4 take screenshots, and I use Ctrl+# for another app, so I guess I am forced to sacrifice Ctrl+Shift+# to a Boxvy feature I don’t use. Please have a way to disable these keybindings entirely, and a way to customize them beyond these six options would likely be welcomed since four of them (Opt, Opt+Shift, Cmd, Cmd+Shift) are used by macOS by default.