.@grok делает Google устаревшим. Ссылка на самом деле неверная. Но она нашла правильный месяц, и с небольшими дополнительными поисками я нашел тот самый email, о котором думал, за гораздо меньшее время, чем при поиске в Google.