Some minor editing of our developer documentation.
Some minor editing of our developer documentation.
Some minor editing of our developer documentation.
Some minor cleaning up.