I use my HDD/DVD recorder. I'd like to do the next step and convert DVD content to DivX so I can backup my discs and format-shift to watch stuff on my phone, but I can't find any (PC) software that'll do it nicely.