by using the 10.2 range, which is not one used by docker and also is less likely than 10.0 to be used by something else. Fixes #402.
git read-tree -u --prefix=site/ gh-pages This is so we can work on code and docs at the same time.