@kikebenlloch@mastodon.social and most authoritative if anyone is going to have the final word on the topic, it's the people who named the damn lake