Just a simple question, don't you need to add the `...mode/stex/stex.js` too?