Shouldn't "Gil-Estel" be the formal name of the Star of Earendil? I mean for the page name. --LorenzoCB 17:37, 13 December 2019 (UTC)Reply[reply]