Labels

• area/docker

  Changes made in the docker directory
• area/github

  Changes made in the .github directory
• area/html

  Changes made in the html directory
• area/main

  Changes made in the main directory
• area/miscellaneous

  Changes made in the miscellaneous directory
• bug

  Something isn't working
• keep

  Keep issue open