That jpeg2png is extremely cool and looks like something which could be built in to image viewers. Naturally, nothing about the "maximally smooth decode" process requires the output to be PNG.