Sorry to bother you again, I’m not that familiar with the process and my previous PR took 2 years to get merged 🙂 So is there any chance to get it reviewed? Browsing the history of this channel I can see some quick feedback, do I just need to wait for some more time? Thanks.

I'll take a look at it. I think folks are usually getting the quickest feedback when it's a small/obvious change, but we do endeavor to look at everything with reasonable timing.

Thanks a lot for clarifications. I added the requested changes.