Regenerate TeXZilla-min