Yes, I saw that. But I have no idea how to contact PSC, perhaps you could help me with it?
Regarding Minecraft, there are servers that allow you to give yourself a nickname which displays you with a different name than your account name, such as =(e)=Abaddon instead of Herobrine, Notch...