Tetrazini: replace raster png graphics with svg graphics.