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.