Arguments on 3174-75: I think it's generally known to the current players that "comex" refers to omd (it was eir original nickname), though the history in the Registrar's report doesn't explicitly state this.
Arguments on 3175: There might be a Rule 101 argument if omd were a new enough player to be unaware of this distinction, but e isn't; e's been a player near-continuously since 2007.
