Hacker News new | ask | show | jobs
by Terr_ 42 days ago
*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.
2 comments

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.
North Korea calls itself the Democratic People's Republic of Korea, but nobody else calls it that. It also claims to control the entire Korean peninsula.
The executive order doesn't purport to rename the department, it explicitly authorizes executive agencies to use a set of additional “secondary titles” for the department and its officials whose legal title includes the legal name of the department.
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?