First, the minor bug. I have noticed from time to time that the mouse pointer fails to revert to the basic pointer after it modifies for a special task. I have seen it do this multiple times, and...