We recently had a short discussion about loop styles, but I can't find it anymore. Has it been lost?

My opinion is: both code duplication and complicated code paths are bad. If an infinite loop solves either problem, I'm generally for it. I'm not a fan of artificial control variables, a `break` is simpler and attracts the readers eye directly.