Minor update to our developer documentation.