Labels

• accessibility

  Good for newcomers
• concern

  An issue with the design
• enhancement

  New feature or request
• high prio

  Something isn't working
• industrial relevance
• low prio

  When time allows to work on this matter
• medium prio

  This doesn't seem right, but does not need immediate fixing
• proposals

  Improvements or additions to documentation
• question

  Further information is requested
• research relevance