update comment about mouse button numbering (now that i tried it on linux)