Se trata de DownloadHelper disponible para este navegador'en linux y windows,
la diferencia es que en windows debes pagar el codec y en linux con los codecs instalados correctamente lo haces en forma gratuita
No es ningún hallazgo ,pero alguno seguro le servirá , como siempre pongo post, para users comunes, como vos y yo
vamos con capturas
tiene otras opciones de conversión úsenlo y me dicen
