Just to clarify, I didn't mean we should highlight multiple PRs every month. In that month none of @eumiro's PRs were individually enough to be highlighted but in bulk they were. That was an unusual situation though.
I think we should be flexible with it. I'm not opposed to having multiple per month, but if we do I think they should be equally notable. If we have a clear winner, we should just highlight that one PR. My 2c. I'll also call out that we (committers, community members, anyone really!) should toss protm on good candidates as we are reviewing stuff day-to-day. That bumps up the score in the script and will help ensure the good stuff bubbles to the top of the scripts output! A quick search shows we've done this less than a dozen times so far.
