[ars]

If you actually try it using the tool you yourself mentioned you'll see that progressive JPEG's are in fact smaller.