ahoj, já todle řešila před vánoci a nakonec jsem s manželem - IT technik, bratrem - Programátor a já pordejce SW a kvalifik. uživatel, administrátor - dospěli k názoru, že je blbost matriošku převádět do divx.
Softare na to najdeš, zadej do googlu - mkw to divx (myslím, že mezitím se to jestli si to pamatuju dobře musí převádět na avi, pak až na divx a je tam problém, že se to musí dělat v MPEG 4 formátu, jinak to nejde převést a trvá to strašně dlouho, tím myslím opravdu hodiny).
Asi chápu o co ti jde, mkv je dost velké, ale je to proto, že to je v podstatě kontejner, ve kterém je velice kvalitní video. Všechno ostatní jsou slabé odvary a komprese.
Ale já osobně si stahuji spíš avi, či divx, záleží na čem se na to koukáš.

tak snad jsem ti pomohla, když tak zkus na www-uloz-to (místo odrážek dej tečky) si vyhledat a stáhnout to co potřebuješ v jiném formátu, aby to bylo menší