User talk:176.74.139.218

IIUC there's no TEX needed anymore. Am I right?