Elon is fine with deadnaming so it's fair game to ignore his website's preferred name