While/else (with a better name: maybe while/coda?) should be a standard construct

I'm trying to just write down more old thoughts, and you know what, I haven't written this one down. The Python programming language has an interesting construct I haven't seen elsewhere: while/else. A while block with an else block following. Now this is terribly misnamed; based on the name you'd think that, like, the else block executes if the while block ends up being skipped, like if/else, but…