I may set up a second machine just for testing. So far, the mouse chooser can still use a few more defined devices. The default mouse type for /dev/gpmdata should be IntelliMouse as far as I know. What's the default mouse type for USB? is HID mouse all one protocol according to the mouse driver, or can it autodetect?