but they eventually stumbled on a fudge of a fix – resetting the mouse pointer to use the default icon. To do this, Windows ...