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