> Would that happen to be available somewhere, for posterity? pic2plot, from the plotutils package, will do pic -> various formats, including svg. De