Labels

Improvements or additions to documentation

Core algorithm of the tool

Modifications to the formatting rules

Third party dependency

Pull requests that update a dependency file

Good for newcomers

Extra attention is needed

Pull requests that update javascript code

Pull requests that update rust code

Needs discussion

We agree it is good to implement this

This will not be worked on

Something isn't working

This issue or pull request already exists

New feature or request

A bug difficult to find in the real world

This doesn't seem right

Further information is requested