It's extremely unlikely Musk was personally involved in any way in the decision on the username.
In a normal business? Sure. When it comes to Musk and Twitter? Less sure.
Add grok to that list, it's pretty much his pet project
In a normal business? Sure. When it comes to Musk and Twitter? Less sure.
Add grok to that list, it's pretty much his pet project