@sil I was tempted to treat myself to a fancy mouse, but I ended up with a Logitech B100. Wired (so I never have to charge the batteries, or update the firmware when there's a security vulnerability), no unwanted side buttons I'd only ever click by accident, good shape for my (evidently pretty unusual) grip, no crazily high DPI I need to unconfigure.