Labels

• bug

  Something isn't working
• duplicate

  This issue or pull request already exists
• editing

  Improvements to the editing
• enhancement

  New feature or request
• question

  Further information is requested
• timing

  Improvements to the timing
• translation

  Improvements to the translation
• typesetting

  Improvements to the typesetting
• wontfix

  This will not be worked on