Vitaly, how about we delete the Proposal tag, and maybe mark non-
proposals with a tag (maybe with a grey or dull color). Given that most
pull requests are proposals, let’s mark the exceptions instead!
Ok, I'll do that. Sorry for messing things up, I wanted to count all proposals but took a longer road.