Updated the user documentation.