Finalmente, resolvi isso.
Eu não tenho ideia ainda do que há de tão especial nesses vídeos. No entanto, por tentativa e erro, eu testei na máquina do meu amigo algumas outras resoluções de tela, e vi que o que ele estava usando era o único com esse problema. Essa resolução foi 1360x768.
Então, pesquisando sobre problemas com essa resolução, encontrei um problema bizarro em relação a essa resolução, alguns padrões e nvidia. Parece que é uma resolução falsa, e há um problema entre 1360x768 e 1366x768. nVidia gpus parece detectar 1360 mas não 1366. Então, eu fui para configurações da nvidia (não o centro de controle do Ubuntu), e defini a resolução manualmente em 1366 usando a opção "advanced" na configuração de resolução. Depois disso, o vídeo é exibido na máquina do meu amigo.
Coisas estranhas.