Он использовал Firefox на Windows; не знаю, какую именно версию. Не хочу беспокоить его, чтобы получить больше отладочной информации, но решил сообщить вам всем, на случай если вы знаете, что могло вызвать такую проблему.
Окей, спасибо! Да, я не особо переживаю по этому поводу, так как это появилось лишь один раз; просто хотел держать вас в курсе, на случай если это что-то очевидное. Эту тему можно закрыть.