@cstross using his actual name helps people filter and manage their feed because nicknames evade mute lists, so actual name should be preferred

That said, the "president Elon" thing is already getting under Trump's skin. It's absurd that schoolyard taunts can impact federal policy but here we are.