Formally telling us the nickname he prefers. The current name was set by Congress and they’d have to change it, so he’s not changing it, he’s putting his personal nickname for it in an EO.

Presumably he’ll also add the name to lots of signs and forms, wasting a bunch of money.