Is This the Best Mouse for Programmers?