Dr. AnonymousAz is, és a gnome-mplayer. És az mp4-eket is mindkettő. Én is töltök, mert vannak hosszabb (ingyenes filmek), amiket nem online néznék, hanem később ... és DVD formátumba írom ki, például a DeVeDe-vel. DeVeDe-hez le lehet tölteni webm formátumban is (ha jól emlékszem-nem biztos :)), én a JDownloadert használom egy ideje /Ubuntu-ra PPA-ból/, de a downloadhelpert is megelégedéssel pörgettem (csak kicsit lassít a böngészőn a túl sok add-on, most nincs telepítve).