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