I agree, but I don't know of any standard way to add comments into CSV or JSON files.

I still want to look at doing something better than a flat-text file for this (and statistics_log) output, but unless we're going to roll our own output formats, I don't think we can have comments.