Merge pull request #1 from raphael-proust/master

OCaml error messages characters
Merge remote-tracking branch 'origin/master'
Update.
Allow digits in GitHub references.

Extend regular expressions to accept digits in usernames and
repositories. This allows the following to be properly plumbed:

GH/jlouis/plan9-setup
Merge pull request #2 from mlb-/patch-1

Allow digits in GitHub references.
Tune the mouse configuration so it matches OSX.
Tune the mouse parameters some more:

· Set some more slowdown. It is a tad too fast for my liking.
· Adapt more to slow movement when we want to get precise with the mouse.
More mouse tuning.
Even more mouse tuning. Make it a tiny bit faster.
A little amount of adaptive decel.
Disable the adaptive decel again.
Yet more mouse tuning.
Add a little bit more Accel.
Back to 12 as the Accel factor. I like it a bit better.
Ok, if we can run with 13 in accel curve, then it is better. So try it out for a week and then change it down to 12 if we dont like it after that.
More accel! It seems like I still have precision.
Adaptive decel.
Ok, I disliked that setting.
Correct comments.
More accel.