I made it so that we understand the character's name is Robotnik, but his nickname is Eggman, and as far as everyone is concerned in the world now, we're just going to call him Eggman as his official name. Eggman's design has been changed several times.