--- a/svghmi/inline_svg.ysl2	Thu Nov 24 10:54:58 2022 +0100
+++ b/svghmi/inline_svg.ysl2	Thu Nov 24 11:47:56 2022 +0100
@@ -209,6 +209,7 @@
 const "result_svg_ns", "exsl:node-set($result_svg)";
 
 emit "preamble:inline-svg" {
+    | const xmlns = "http://www.w3.org/2000/svg";
     | let id = document.getElementById.bind(document);
     | var svg_root = id("«$svg/@id»");
 }