oh yeah, there's an anti-Trixie policy in place. You get warned when you talk about Trixie. After 100 warning points, you have to apologize to the board and name Rarity as best pony.
Don't mind the Doc... Warning Points can be considered like a strikes system, where if you get too many warning points, you're most likely about to get banned. Well, I think so anyways