🔗 Vídeos em HTML5 no GloboEsporte com Firefox 40 no Linux

Escrevendo aqui para quem estiver com o mesmo problema que eu.

Desde que o GloboEsporte mudou de Flash para HTML5, os vídeos pararam de tocar no Firefox (39 e 40, pelo menos) no Linux. Aqui está como habilitar os recursos para fazer voltar a funcionar:

1. Na barra de endereços, digite about:config. Vai aparecer uma lista de configurações.
2. Na barra de busca de configurações, digite media.frag. A lista vai filtrar e aparecer opções começando com “media.fragmented”
3. Dê duplo-clique nas seguintes opções, para trocá-las de “false” para “true”:
   • media.fragmented-mp4.exposed
   • media.fragmented-mp4.ffmpeg.enabled
   • media.fragmented-mp4.gmp.enabled
4. Na barra de busca de configurações, digite media.media. A lista vai filtrar e aparecer opções começando com “media.mediasource”
5. Dê duplo-clique nas seguintes opções, para trocá-las de “false” para “true”:
   • media.mediasource.enabled
   • media.mediasource.webm.enabled
6. Pronto!

Encontrei a solução aqui.