Please add the Options+ app for Linux/Raspberry OS. I use a Mac and Raspberry Pi side by side, and it is a pain to switch (the switch channel button on the mouse takes several seconds to switch each time).