TIL this is the mouse John Gruber uses: https://www.lenovo.com/us/en/p/accessories-and-software/keyboards-and-mice/mice/4y50x88822