Hello.
An unmodified version of jpegtran creates a baseline JPEG file if the incoming file is a progressive JPEG.
But version from ImageOptim leaves progressive JPEG even without using the option -progressive.
Is that how it should be?

Regards.