BUR #20687 has been approved by @nonamethanks.
rename gremlin -> gremlin_(mythology)
rename gremlins -> gremlins_(film)
deprecate gremlin
deprecate gremlins
There are currently two tags for gremlin, one which refers to the folklore creature, and other tagged as "gremlins" which referes to the a 1984 movie. Given that we have a considerable amount of "gremlin" tag, and that these two tags were only distinct by the addition of "s", I think it should be renamed accordingly. Also deprecate these two qualifier-less tags for futureproofing.