git 1.9.3; devel 2.0.0rc3

BTW, I don't feel any particular need to "own" this PR in any way (if anyone wants to take it and run).