Comment by duskwuff

Given that PICT is a vector format at heart, what'd be ideal would be a conversion to SVG. At one point I had part of a tool written to do that, but it didn't handle text very well.