Issue #20370 is not going to happen. I have added a comment of explanation, and it's time for me to close the issue. What label, if any, should I put on the issue to indicate that it describes a direction we've decided not to pursue? Norman