>>>>> "Tony" == Tony Finch <dot@xxxxxxxx> writes:
Tony> I'm afraid they are common enough that strict syntax
Tony> checking has a high false positive rate.
OK, if the empty header check turns out to be useful, then I'm all for
keeping it.
I suggest that an empty field body is defined to be one that is of
zero lenght, or consists entirely of linear whitespace.
-roy