Upgrade to TeXZilla 0.9.8