Fixed: documentation version number lagging behind.
Merge branch 'refs/heads/0.9.6'