index.html, js/app.js: proposes again the SVG export

Partially revert 3eb36527.
See #3464.
14 jobs for feature-c/3464-export-svg in 9 minutes and 54 seconds (queued for 3 seconds)
latest