Doc updates.
The new version will be 0.9.5.