Update TeXZilla-min.js