Labels

• bug
• bug (documentation)
• bug (external package)
• bug (improve documentation)

  nothing really wrong but documentation could be better
• category amsmath
• category babel
• category base (latex)
• category firstaid
• category graphics
• category tagging-project

  issues specifically related to support for tagging
• category tools
• code-compatibility
• dependencies

  Pull requests that update a dependency file
• duplicate
• enhancement / extension
• fixed in branch
• fixed in dev

  Fixed in development branch, not in stable release
• fixed in hotfix
• font-issue

  Issues with fonts: recorded here but requiring fixes elsewhere
• github_actions

  Pull requests that update GitHub Actions code
• invalid / not a bug
• long-term

  issues/enhancements that will not be resolved any time soon; could/should be considered eventually
• mistaken / user error
• question
• report elsewhere
• RTL-support
• stale
• to analyse further
• wont fix/change/enhance

  something that might be desirable but ...
• works as designed