Are these SVG graphics with the little boxes and arrows generated? Is this gnuplot?