Clean up the user documentation