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

sS js_executeScriptElements() {
  ret [[
    function executeScriptElements(containerElement) {
      const scriptElements = containerElement.querySelectorAll("script");
    
      Array.from(scriptElements).forEach((scriptElement) => {
        const clonedElement = document.createElement("script");
    
        Array.from(scriptElement.attributes).forEach((attribute) => {
          clonedElement.setAttribute(attribute.name, attribute.value);
        });
        
        clonedElement.text = scriptElement.text;
    
        scriptElement.parentNode.replaceChild(clonedElement, scriptElement);
  });
}
  ]];
}