This message was deleted.

@shy-waiter-84958 given our CTO was in the loop of this PR, I guess it will be processed quite soon. It's Monday, and a big part of our team is in US Pacific time zone, which means they are waking up around now. Nevertheless, I'll drop it in our internal channels.

@limited-rainbow-51650 thanks, Luke hopped on it after I posted my message. I assume it or the PR caught his attention.