Some stuff on how Linux consoles interact with the mouse