SVG Exporter now encodes node and edge labels.