Labels

Reports a bug in the code.

This feature request was taken care of and a PR was opened to add it.

Duplicate of an already existing issue/pull request.

Pull request adding a new feature.

This issue was taken care of and a PR was opened to fix it. Note that this PR may not be merged yet.

Long-term plans of requests-for-comment about future/desired features.

Other input is desired.

Currently trying to find the cause of the issue in question.

An alleged bug is considered normal behavior, or fixing it requires unreasonably large changes.