Unsuccessful attempt to add URL to SVG output inside the application (GDD proof)

Author: kovzol

src/main/java/wprover/PanelProve.java

@@ -1693,8 +1693,10 @@ Node graphvizNode(Cond co) {
             }
             String rulestring = GExpert.getTranslationViaGettext("Rule {0}", rule + "");
             String url = "";
-            // url = "https://en.m.wikipedia.org/wiki/File:Example.svg";
-            // url = "https://github.com/kovzol/Java-Geometry-Expert/blob/master/src/docs/help/images_a/rectangle.gif";
+            // For some reason, this does not work, we get
+            // an error org.apache.batik.dom.util.SAXIOException: Invalid byte 1 of 1-byte UTF-8 sequence.
+            // FIXME.
+            // String url = "https://github.com/kovzol/Java-Geometry-Expert/blob/master/src/docs/web/Rule" + rule + ".jpg?raw=true";
             n = Node.builder().shape(s).table(table().border(0).bgColor(c).
                     cellBorder(0).cellSpacing(0).cellPadding(6).href(url).tooltip(tooltipstring).
                     tr(td().color(c).text(co.getNo() + ") " + co.getText())).