I just updated to Windows 10 from 8.1 a few days ago -- much smoother experience than the last time I tried (sometimes it does not pay to be an early adapter). Today was mouse lag day -- it was...