Some updates to our developer documentation [ci skip].
Some minor cleaning up of code (to respect our coding style).