Labels

Issues that could be tackled at some point but are not "really needed"

marks issues where insightful discussions/discoveries/reports happened to be part of a knowledge-base

Important new features of a specific code

To be discussed in team meetings