Some folks are more relaxed than others. I have even seen servers named after gods in the distant past, can you imagine? Try naming a server Odin now, or Loki, etc. Used to be a popular naming scheme but today it would have someone complaining to HR about inappropriate religion in the workplace.

I gotta say that whoever flagged that post has the thinnest skin I've yet encountered. Even for HN, I am slightly surprised.