Some minor cleaning up of our user documentation [ci skip].