We should provide TeXZilla as a JS module, see https://developer.mozilla.org/en-US/docs/Web/JavaScript/Guide/Modules