Why does the site group gifs and webm files together so heavily under the “animated“ umbrella? Example of why this is a problem: I can view gifs just fine, but I don’t have a device that can easily play webm files, so I wanted to blacklist them to make things simpler. I tried using my blacklist, entering both “webm” and “type:webm.” Neither worked. Blacklisting “webm” eliminates both gifs and webm files because it just changes the blacklist tag to “animated.” Blacklisting “type:webm” does nothing.
Why this unnecessary frustration? Why can’t we just add distinct “gif” and “webm” tags instead of just having the “animated” tag? How come the “type:” function never works for anything except very basic search functions (you can’t even use it with the minus). I know that not all gifs are animated, but this could be easily fixed with both a “gif” and an “animated gif” tag and we could be done with it. Somebody please explain this to me.