Não há nenhum arquivo HTML que possa ser editado para alterar o loop, isso teria que ser editado na origem e recompilado. Código-fonte .
Isso é feito adicionando a linha element->SetLoop(true);
na linha 110. Definição de função .
Se você preferir não editar a fonte, do link , javascript:var vids=document.getElementsByTagName("video"); for (i=0; i<vids.length; i++) vids[i].setAttribute("loop", "true"); void 0;
pode ser salvo como um bookmarklet a ser executado; ou WhatIsThisImNotGoodWithComputers , no GitHub, foi criado um GreaseMonkey Script que automatiza a configuração do atributo de loop.