I'm looking into reverting html_basic to its previous form and still have the 'js-highlight' switch.