Existem 24570 caracteres de código nesse tópico, e infelizmente é bastante comum que celulares Android tenham dificuldade em renderizá-los. Você verá a mesma coisa se tentar ver um diff grande no GitHub.
Adicionamos um limite para não destacar blocos de código maiores que 30k caracteres, mas os daquele site são menores, então eles renderizam bem no desktop, mas têm dificuldade em dispositivos com menos recursos.
Está em nosso roadmap de longo prazo para executar o destaque de código em uma thread em segundo plano, mas ainda não chegamos lá.