Some editing of our developer documentation.