You do realize that Derplander is a name given to him by the community, none of them have been officially named by SE I don't think.