Hi Glenn, thanks for the feedback - it's the former: we're a small team doing our absolute best to keep up with the high-volume of contributions as our community explodes in growth. I understand it's frustrating to have a slow turn-around time, but please know that we are endlessly grateful for contributions & we're actively hiring/onboarding new teammates as quickly as humanly possible!
I just confirmed - your PR has been merged in - thanks _so much_ for your patience here!