+ # we're using the extra equals in front as an almost uniquifier for the
+ # header lines. we then can treat any matching line as a header, although
+ # some input files could trick this heuristic.
+ $munged_name = "= $shorter_name";
+ $dashed_line = $munged_name;
+ $dashed_line =~ s/./=/g;