Re: [NTG-context] \typefile with filenames with $ characters in their name