Ola! Gostaria de saber onde posso baixar codecs para DivX, XDiv, DVD PLayer etc.. E existe algum DVD ripper (filme) para linux? []s!