Personally for me if it's too popular I would feel cheap using it. Like I can't ever name a cat Loki; it's too obvious. But there's a pretty big ocean of names between John and x_0 to choose from.