Re: [NTG-context] texfont doesn't refresh MiKTeX database