Minor updates to the user documentation [ci skip].