Thanks for the feedback. I’ve got Flash, but the gif is a single image, not an animation, so there’s no sequence to export (I didn’t think png supported animations natively anyway?). I think I’ve figured out Auto-Trace, though, and that seems to work OK, based on Luminance.