Did you try submitting a PR? I assume this is a one line change. I would assume an open PR can reach the right people quicker than a shortform.
Did you try submitting a PR? I assume this is a one line change. I would assume an open PR can reach the right people quicker than a shortform.