Prioritized labels
Drag to reorder prioritized labels and change their relative priority.
Other labels
Compiler bug
Michaël Roynard / Blackmagic
Bug in a compiler (waiting for resolution). Link to the bug report in the issue.
Prioritized