Thanks! But what would you think about keeping compatibility for the
old format as well? That might helpful for folks using trace-summary
on their own and potentiallu with old logs.
By default, trace-summary could try to figure out which format it is
(like by looking for the new "#" header), but then also have a switch
to set it explicitly.
Robin