Earlier quoted context omitted.
quiet reminder that writing to file descriptors is blocking. STDERR and STDOUT are file descriptors.
Maybe so, but, as pointed out elsewhere in the thread, printing to stdout is much, much, much, much slower than printing to a file. The fact that stdout is a file descriptor can only explain a vanishingly small quantity of the time cost of using it.
False dichotomy. stdout can very well be a file. What you mean is that printing to a terminal is slower than to a file.