Labels

• bug

  Something isn't working
• documentation

  Improvements or additions to documentation
• good first issue

  Good for newcomers
• pr: banner

  Pull requests that add new banners or change existing ones
• pr: change existing extension

  Pull requests that change an existing extension
• pr: new extension

  Pull requests that add a new extension
• pr: other

  Pull requests that neither add new extensions, banners or change existing ones