Using a mouse is not always a bad habit -- even in the terminal