I don't remember for sure, but I think it's straightforward to write. Especially because the recursive call is a tail call.
But it's likely that he inspired me to finally get around to it. :~)
I'd say, we should add it to the list utils library. It would be great, but it's neither of our decisions anyway...
same.
Hide it behind a relabel, then, like the >= boolean.