Ele estava usando o Firefox no Windows; não tenho certeza de qual versão. Não quero incomodá-lo para obter mais informações de depuração, mas pensei em contar a todos caso saibam o que poderia causar isso.
OK, obrigado! Sim, não estou muito preocupado com isso porque só apareceu uma vez; só queria que você soubesse caso fosse algo óbvio. Este tópico pode ser encerrado.
Parece ótimo para mim, então é muito provável que seja um problema com plugins no navegador deles ou até mesmo uma versão significativamente desatualizada.