А вот интересно, волшебники часто называют детей именами героев, знаменитостей? Я вот помню только Гарри (вообще канон плохо знаю), но у него это была своеобразная дань памяти погибшим.
А если всё-таки да, то просто представьте, сколько после войны в Хогвартсе набралось детей с именем мальчика-который-победил?