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