Updates of user documentation.