leading lines are garbage and inconsistent.  So we'll have to massage files by hand until there is an agreement about the file format.

Change-Id: I9ed892d92bcd93f6f8f7ab81a6c8c3096d94a13a
Merge "leading lines are garbage and inconsistent.  So we'll have to massage files by hand until there is an agreement about the file format."