The .flv files are a bit bigger (1.22% more, more or less). Then, should I download the .mp4 videos instead of the .flv, given that if they are the same video, the extra size of .flv doesn't mean better quality?
O conteúdo do vídeo dos arquivos que você vê deve ser exatamente o mesmo.
Os contêineres FLV e MP4 podem conter os mesmos codecs de vídeo e áudio. 1 E embora haja uma diferença no tamanho do arquivo, o fato de ser alguns por cento significa que a única diferença é o contêiner real ( ou seja, FLV e MP4), e não o vídeo (H.264) e áudio (AAC). Os contêineres têm formas diferentes de agrupar o conteúdo, e o FLV pode ser um pouco mais detalhado lá, o que explica a diferença de tamanho.
And, a part from the size, which is better supported, or which is played with better performance?
O FLV é um formato proprietário desenvolvido pela Adobe. MP4 é um formato padronizado pela ISO na família MPEG-4. Seu vídeo é H.264 (MPEG-4 Part 10), portanto é do mesmo padrão MPEG-4. 2
Dito isto, o suporte para MP4 deve ser sempre melhor do que para contêineres FLV. Embora os players de vídeo de desktop típicos suportem quase todos os contêineres e codecs, dispositivos como telefones celulares ou servidores de streaming DLNA só podem lidar com arquivos MP4.
O vídeo que você está tentando fazer o download está codificado com o perfil Baseline, que segmenta explicitamente dispositivos móveis - portanto, se esse for um possível alvo, você deve definitivamente escolher a opção MP4. 3
Além disso, não há equivalente de MP4Box e AtomicParsley para arquivos FLV, que são ferramentas muito poderosas para remuxar e alterar os metadados de arquivos MP4.
1 - Veja Comparação dos formatos de contêiner para obter uma lista do que é suportado. < br> 2 - Ambos os formatos são onerados por patente, mas na prática isso realmente não importa.
3 - O perfil Baseline desabilita alguns recursos do codificador para garantir que o arquivo pode ser reproduzido em dispositivos com menor capacidade de processamento. Geralmente não significa "menos qualidade".