Yes, both names are official now as of episode 100, and should be aliased together.
Bulk Biceps and Snowflake is another example.
@Wolfgang Anonymous
Derpi policy is that the show is the last word on names. If the character is named in the show credits, their fan name can be aliased to the show name. If they’re named in toys, books, or comics, we generally have the fan name and merch name imply each other.
On the other hand the MLP Wiki will erase all evidence of a fan name and start using the toy name as soon as a toy comes to market that looks somewhat like the character, so it’s frustrating getting the fan names and show/toy names to line up sometimes.
Personally, i would prefer to alias them rather than have the two-way implication, but have been denied in the past.