He made his account during REALLY early mc when you could have like random names: https://namemc.com/profile/$ @Denisvenom9 https://namemc.com/profile/XD etc
I was on the namemc server trying to claim my profile on their website, and I noticed a lot of names like that. I saw an entire family of users literally called "dad, "mom" and "son" lol, I'll try and find screenshots