Labels

• add-ons

  Issues/PRs related to /add-ons
• manual

  Improvements or additions to internal documentation
• plugins

  Improvements or additions to plugins
• scripts

  Improvements or additions to scripts
• themes

  Improvements or additions to themes
• third-party integrations

  Improvements or additions to third-party integrations
• userscripts

  Improvements or additions to userscripts
• utilities

  Improvements or additions to utilities