Your trivial examples are printing to the shell, presumably in a terminal. That is what makes it default to autoflush. Redirect that output and it's a different story</>
Yeah ... that (and other points you make) seems reasonable.
Thanks.
I think it has now been shown to be a case of "author idiocy". (Not surprising, really.)