Small improvements for the v0.9 user guide