Le 24/11/2020 à 15:13, Scott Kostyshak a écrit : > By the way, I'm not sure we should have conversion of PNG to EPS by default. I think we had a discussion on this and decided it's best to not silently convert bitmap to vector format. Did we? EPS can also hold bitmaps. This is what we did when dvi was still a thing. JMarc