Merge pull request #31 from MatthewFluet/pre-201306-release

Further work for 201307?? release.