Fwiw my initial assumption (as a non python dev) was that the else statement would execute once the loop condition was false (including the case where loop cond

Fwiw my initial assumption (as a non python dev) was that the else statement would execute once the loop condition was false (including the case where loop condition was never true).