Prioritized labels
Drag to reorder prioritized labels and change their relative priority.
Other labels
patches-welcome
latexpand / Latexpand
Issues on which I'm unlikely to work myself, but for which contributors are welcome to submit merge requests
Prioritized