Some work on our user documentation [ci skip].
Some minor work on our developer documentation [ci skip].