I dragged the DivX applications to the trash, but I couldn't find a DivX uninstaller program or something that looked similar. There is a "DivX Decoder.Component", but that doesn't sound related, and it won't let me "empty the trash" concerning it.
I did a general search for DivX, but nothing...