You can also use the issue tracker to report bugs.
We are particularly interested in hearing specific comments about the documentation. Please let us know if something is hard to understand, not easy to follow, or if the documentation is too sparse at a certain place. We will do our best to help!
We thank the following people for their help and contributions.