Re: [NTG-context] End of line marker in verbatim texts