Slight update to our user documentation (#329) [ci skip].