This hill *is* locally known as Mount Everest. See, for instance, here: https://odhistory.org/mid-century-modern-house-tour-part-two/ No, it is not the other Mount Everest. Yes, it is named that way regardless. Don’t delete things you don’t know about.

https://www.openstreetmap.org/changeset/167555535