Comment by Arnavion

The examples show that the headers are printed by default, so writing them to stderr is the correct behavior.