Get rid of stupid TeX conceal
Update dvtm and change terminal settings to use tags