published article on linux mouse settings