Modify gulpfile.js
HTML generation and the note map creation process are run in web workers.
This is to prevent UI from slowing down when editing a long text.