On second thought, stderr output is somewhat useful to humans.