As a remainder:
When using Raspberry Pi Raspbian with some mice, the cursor lags and is slow and feels very unresponsive.
Easy fix:
- insert your SD card in your computer
- edit cmdline.txt
- add this to the end of the cmdline: usbhid.mousepoll=0
- save, eject SD and start Raspberry Pi
- done
