As mentioned, it’s an implication, which are publicly linked to in the Tags page. In cases where there is no official name from the show, we have the implication system add the fanon and toy/other canon names.
For example, Trixie is a canon name, so Trixie Lulamoon will not be added and it is aliased to Trixie. Carrot Top is a fanon name, and Golden Harvest is the name used on official merch; adding either will add the other.
Why bother? Because people take background pony names very seriously, and this is the best thing we can do to avoid tag wars without resorting to banning someone over it every other day.