Derech Hamelech, there are many Rishonim who don’t hold of gilgulim, such as the Rambam, and who would interpret the gemara of Hu Pinchas differently. That is why I wrote “If you believe”.
Second, Artscroll must have quoted a source from a sefer.
Third, we are allowed to fight out sevaros even with the gedolei hador. See Igros Moshe OC 109 where he says that not only is one allowed to argue with him in psak, but he is MECHUYAV to do so, if he learns a sugya differently.
I and others brought a ton of names which are mentioned in the Nosei Keilim on Shulchan Oruch, which do not seem to fit with the sevara of Reb Chaim. If Reb Chaim is one’s Rebbe, then he should definitely follow and be meyaetz with him. However, the millions of simple Jews who named their children differently have done no wrong.