> and presumably acquired the trademark from the defunct DIVX (or just took it over if the registration expired, I don’t know).

and then, iirc, this is where xvid come into being. I think it was the same codec just re-written and given back to the opensource world, hence the reason for naming it "divx" spelled backwards.