Contributors

A huge thank you to all contributors of code, bug reports, ideas, discussions, and more!

If you think your name belongs here, add your name and submit a PR. Then Github shows your name and picture in the sidebar, also if you have not contributed code.