no-vendored-js-highlight
