help wanted
Repository metrics
- Stars
- (3,186 stars)
- PR merge metrics
- (PR metrics pending)
Description
Currently the documentation is written inlined in the code, using a (now-broken) documentation generation system.
We should rewrite this into a doc folder just using "plain" markdown.