Es sind doch alles AVI-Dateien, außer man nimmt MP4.
Das stimmt zwar größtenteils, aber OTR macht ja bei den Formaten die Unterscheidung zwischen FLV, MP4, AVI, HQ und HD. Wobei ich grad gesehen hab, dass die werbefreie HQ Variante ebenfalls die Endung MP4 hat.