Which one works best here ? Headers to stderr, or headers only if stdout is a tty ?