Minor reverting of our user documentation.