Alias "filly derpy hooves" to "filly derpy"

Alias filly derpy hooves to filly derpy

Yeah, I don’t think that’s gonna happen, cos we have “filly [full character name]” for the other characters.

@Blissful690
I don’t see why not. “filly derpy” already has implications set up and is used a lot more, and besides, some of the other tags use shortened names: filly trixie instead of “filly trixie lulamoon”, filly lyra instead of “filly lyra heartstrings”, and filly cadance instead of “filly mi amore cadenza”

@Background Pony #2DA8
That’s precisely what I was thinking, yes

One way or another, these two tags should be merged.