Also, Logitech makes the only Linux compatible bluetooth mouse (that I’m aware of) that supports dual booting with Windows - the
Logitech M720 Triathlon. My other Logitech Bluetooth mouse works fine in each OS individually but has to be re-paired after each OS switch :/