Re: [NTG-context] Use of \hairline in the header