Its really more sad than silly. Can you imagine taking your kids to your culture's sacred site to pray, and then they ask you why its called "Devil's lake" in english, but "Sacred lake" in their language?

https://carnegiemnh.org/reckoning-with-indigenous-sovereignty-and-us-public-lands-through-place-names-in-national-parks/

Sadly the "Devil's ____" name comes from settlers who would conflate native tribal rituals or sacred sites with devil worship.

Sadly the "Devil's ____" names usually come from settlers who would conflate native tribal rituals or sacred sites with devil worship.