Slight updates to our user documentation.