Labels

• Bug

  Fixes to a broken user experience
• Development

  Improvement of the dev-tools for maintaining/building the project
• Documentation

  Improvements or additions to documentation
• Refactor

  Changes to the internals that don't affect the application
• UI

  Changes to the user interface