Dennis Boone writes:
Would that
happen to be available somewhere, for posterity?
pic2plot, from the plotutils package, will do pic -> various formats,
including svg.
Huh. Wasn't aware of that one, but seems to rely on a groff svg driver
which I've never seen.
What I've done is pic -> groff -> ps2pdf -> pdf2svg -> inkscape.
Inkscape is used just to crop bounding box to the image size so
that there's not a huge amount of whitespace.