To add to that, on Xfce at least it’s not enough to adapt the graphical mouse settings but one also needs to manually set (e.g.) /sys/bus/serio/devices/serio1/serio2/sensitivity to a larger value (I use 220) for a suitably fast mouse.