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

Back to the list