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