Documentation preview for this PR is ready! 🎉
Built with commit: dcd1f18

Nothing related with this PR, but out of curiosity, do you use the number to search for labels like "critical / 2"?

I think I use it about half of the time. Pretty rare event to use priority labels (in particular, Volker's merging script does not pay attention to them), so it's not hardwired in my fingers yet.
Also typing "s:" to see the status labels has not become a proper habit yet. I find myself typing "need" or "revi" and then click to change labels.

Thanks for the review!

Also typing "s:" to see the status labels has not become a proper habit yet. I find myself typing "need" or "revi" and then click to change labels.

I see. I just scroll to the label in the list :-)

Thanks.