New add-on TeXZilla