alt Hacker News*sigh* No, it wasn't not renamed, in the same way that a cape-wearing 4-year-old isn't actually changing his legal name to SuperBadguyKillerMan.
Replies
mcswell • today at 2:45 AM
Umm...when we lived in Colombia, my son decided to re-name himself Martillo Veneno. For those who don't know Spanish, that's Hammer Poison. You have something against that?
I mean, apparently they didn't legally but he did sign an executive order, and they do use war.gov ; so it's a de facto versus de jure situation.