Yes, you have indeed a point with the buffering. I usually separate STDERR and STDOUT especially because of what you mentioned. The idea was to look for a general rule of thumb, not a divine law.