Contribution Guidelines

How to contribute to the docs

Last modified December 2, 2023: some fixes (f0f6616)