Added TeX, and simplified case-sensitive extensions