I find the introduction of a dedicated "end of header" meta complete overkill:
The header ends when the first line of type 1,2,3,4 or 5 is encountered.
To achieve this, I think that the introduction of a
0 !NEEDSWORK
meta would be a good idea.
All comments starting with
0 //
are intended for human-reading and should not carry semantic information for tools IMHO.
The header ends when the first line of type 1,2,3,4 or 5 is encountered.
To achieve this, I think that the introduction of a
0 !NEEDSWORK
meta would be a good idea.
All comments starting with
0 //
are intended for human-reading and should not carry semantic information for tools IMHO.