I don't see the point. I upload a jpeg that is 51% progressive compressed in Photoshop and Jpegmini can reduce the size 1.2x.

Isn't really worth the effort.