// from https://stackoverflow.com/questions/1197575/can-scripts-be-inserted-with-innerhtml
// fixes <script> tags in inserted HTML (e.g. via innerHTML)
// TODO: Do we handle <script src=""> correctly?

sS js_nodeScriptReplace() {
  ret [[
    function nodeScriptReplace(node) {
      if (nodeScriptIs(node)) {
        node.parentNode.replaceChild(nodeScriptClone(node), node);
        console.log("nodeScriptReplace finished replacement");
      } else {
        var i = -1, children = node.childNodes;
        while (++i < children.length)
          nodeScriptReplace(children[i]);
      }
    
      return node;
    }
    
    function nodeScriptClone(node){
      var script  = document.createElement("script");
      if (node.src)
        console.log("nodeScriptReplace including " + node.src);
      else {
        console.log("nodeScriptReplace inline script");
        script.text = node.innerHTML;
      }

      var i = -1, attrs = node.attributes, attr;
      while ( ++i < attrs.length )
        script.setAttribute( (attr = attrs[i]).name, attr.value );
      return script;
    }
    
    function nodeScriptIs(node) {
      return node.tagName === 'SCRIPT';
    }
  ]];
}

Began life as a copy of #1032354