Labels

• bug

  bug

  Something isn't working

• codex

  codex

• discussion

  discussion

  (Meta-)discussion about the project

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• feature request

  feature request

  New feature or request

• help wanted

  help wanted

  Extra attention is needed

• question

  question

  Further information is requested