re: #205 HappyWarrior

Like Denali vs McKinley. The former is a better name. But geographical locations are named for people too.

Life isn’t perfect ;) And I don’t have the requisite bazillion dollars anyway.