We currently print them to stderr, but we can do better.
We currently print them to stderr, but we can do better.