They are were part of Derpibooru’s unique style though.
For me, it’s always seemed like Derpi was overflowing with cultural pieces, of which these tags would form a tiny bit.
But I think this is the end of punny tags on this site. They will all be replaced sooner or later.
We don’t even know that this current pun tag change will stick. I suspect they won’t.
And, I mean, just looks at all this: two threads spanning months of discussion on this topic. I don’t think the other tags will be going down soon/fast. I mean there’s already been so much time dedicated to just these tags. I can’t imagine that the mods would be too eager to try another of these changes soon after having to deal with all this.