Minor update to our user documentation [ci skip].