This section contains files related to the setup of this documentation tree, including how to contribute.