На самом деле, Гарри - средневековая форма имени Генри (Генрих - в немецком произношении). Так что называть в МС фиках Генри Поттером вместо Гарольда Поттера было бы даже правильнее. Впрочем, использование Гарри в качестве сокращения от Гарольд вполне допустимо, хотя это и считается разными именами, ибо произошли от разных понятий