Document how to contribute to the official documentation