Documentation: slight update to our user documentation [ci skip].