Am 26.11.2017 um 01:22 schrieb Hélio Guilherme:
Well, I only converted the images to SVG. The objective was to have
properly scaled on different screens.
Do we think it would be advantageous to recover that idea?
I don't quite remember what the outcome (or status quo) is -- are the
SVG versions already in use? If so, also on Windows?