Naming things is hard!
This reminds me of Zuckerberg naming his bot "Jarvis" - which I learned about a week after learning the dev lead on my team made a bot named "Jarvis". Unoriginal names are a pet peeve of mine. We have numerous pantheons and fandoms, yet everyone uses the same handful of names.