svgs generated by the DiffViewer cannot be opened by graphical programs

[pverkind]

All libraries that convert html to svg currently work by injecting the html code into a "foreignobject" tag in the svg; browsers can display such svgs, but vector graphics software cannot.

[pverkind]

temporary "solution": I hid the svg download buttons