#24: menu now hides after 3 seconds AFTER the user STOPS moving the mouse.