Would be nice to be able to export the current diagram, in some/all of such formats as PNG, EPS, SVG, etc.