<script> tag? Or some other convenient way to get what I want?
EDIT: Updated the
#+BEGIN_EXPORT html for the shiny new Org 9.0, per @mutbuerger's suggestion.
#+BEGIN_EXPORT htmlis shown in the resulting HTML file just like text ? Because I do :( What I get is