Labels

• backend

  Related to the backend of the tool
• bug

  Something isn't working
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• frontend

  Related to the frontend of the tool
• question

  Further information is requested
• results

  Something about the result view
• wontfix

  This will not be worked on