Oh dear, what a typo! My sincere apology.
I wrote:
I'll also note that has proposed adding a similar
function, or perhaps even this exact function, on several
occasions. Again, I don't remember the details.
It was Jonathan Cast, of course!
Regards,
Yitz
