@HD. A header consists of different types of lines. Confusingly, one of
these types is called the "header line", which is what this
type refers to. It does not refer generically to any line within a
header.

@HD. A header consists of different types of lines. Confusingly, one of
these types is called the "header line", which is what this
type refers to. It does not refer generically to any line within a
header.