PR announcement…
I don't think Divx HD give a better compression and quality than H.264…
The only advantages I see, are put a Divx-Certified on the Box, and use divx for the PlayTv to record TV (don't know if Divx HD is less intensive than H.264 for a direct recording on a PS3… Have we got some info on this from the Linux Side).