On 5/9/2020 5:48 PM, [email protected] wrote: > If the easily filtered headers are as good as section delimiters, > you have won.
That's where I lose in this case. Even the actual section headers identifying the different source files are unreliable. ¬R
