Update from TeXZilla: new API to set the DOMParser.