Re: [NTG-context] tetex or texlive on linux