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.
In a normal business? Sure. When it comes to Musk and Twitter? Less sure.