DivX (producing full HD 1080p) is more than what you think it is...
DivX's codec (6.7) is capable of encoding content in full HD 1080p just for the record. It's actually been proven through yearly test that the DivX codec is rated as either the best or second best compressed digital format over the past 5 years.
I think Sony recognized this after talking with Kevin Hill thus it only made since to offer it's customer base one more HD option for even further cross compatibility.
You might want to do a little more research there Liam before you go dogging the joint venture of DivX and Sony. Just a little food for thought!