It’s true that it’s a major drawback. The « while » loop remains useful in many cases; I’ll make the request!