Labels

Something isn't working

Work unrelated to the core purpose

Pull requests that update a dependency file

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

This doesn't seem right

Pull requests that update javascript code

Correctness or design finding

An open question to answer, not code to write

Delete, inline, or flatten to shrink the code

Restructure toward a target design

Design rationale or conceptual-integrity finding

Surfaced while documenting how the code works

Further information is requested

Wrong behavior or misleading docs

Cosmetic, dead weight, or hygiene

Fragile or surprising, not yet failing

Technical debt and code quality improvements

This will not be worked on