Чистил закладки, наткнулся на древнее зло - комменты к статье Токмакова насчёт штампов. И увидел вот это:
372. Serg 2021/11/05 15:23 [ответить]
Гарри-это мужское имя, среднеанглийская форма Генри. Это также уменьшительная форма Гарольда, Харрисона или Харви. Взято с en.wiki. Я думаю англичане знают о своих именах лучше русскоязычного автора. Так что нет, это не принципиально разные имена.
Вспоминаю, что Вернон переспрашивал в первой же главе, не "Гарольдом" ли зовут племянника, на что Петуния сказала - нет, Гарри, плебейское имя.
Казалось бы, одна строчка закрывает весь вопрос. Но нет, до сих пор развозят этот шоколад по лицу.