There has been disagreement on whether #38219 should be merged at some point.

It seems that @dimpase in particular seems to have doubts, let me quote from his messages (with the caveat that I am not sure whether he is referring to the specific PR or to the process or to the idea in generality.)

proper credits are due

I would like to know why you insist on a home-grown solution instead of something which is available.

@dimpase have these concerns been addressed? Could you clarify here what specific changes you would like to see in the PR?