Convertir video. Esta herramienta online convierte un montón de formatos de vídeo entre sí, incluso a gif animado. Permite además editar opciones como el audio o cortar por donde nos interese. https://js-video-converter.com/sp/