Delete lang-tex.js