How to contribute to the documentation: see FAQ Entry on how to contribute to the documentation