It’ll be interesting to see how well the new names take. Most of the other names on the network are shortened versions of the originals, or nicknames which then got officially adopted.

I still think the Goblin name will live on with those who use it.