Re: [NTG-context] Getting the filename which is being typeset