Add comment regarding unbuffering stdout.