> and the solution was to use a different mouse.

Or make a small edit to a config file, to work around that nonstandard mouse vendor's mistake.