i was watching steve jobs' wwdc 2003 keynote and saw him mention a video codec called "pixlet" for really high-end, studio-quality video, and i wanted to see where it was in quicktime, but i cant seem to find it. is there any way to export a quicktime movie as pixlet? (i know there's no advantage going to it from a lossier codec but it'd just be cool
)