diff -r 3ba74350237d -r 32eaba9cf30e svghmi/gen_index_xhtml.ysl2
--- a/svghmi/gen_index_xhtml.ysl2	Fri May 06 11:04:54 2022 +0200
+++ b/svghmi/gen_index_xhtml.ysl2	Wed May 11 12:12:16 2022 +0200
@@ -96,6 +96,8 @@
 
                     include text sprintf.js
 
+                    include text pythonic.js
+
                     include text svghmi.js
 
                 }