[html] Mask <script> tag in a string constant to avoid problems with embedding into HTML.