Some minor updates to the user documentation [ci skip].