The Usefulness of All Santa_* Tags

As feels thematically appropriate for the season, I was wondering if we really need all the different santa_* clothing tags? A couple of them are of course good but some of the lesser ones feels dubious in usage. The following is a list of my opinion on the subject:

The good ones: santa hat, santa costume, santa dress, santa bikini, santa mask

The dubious ones: santa boots, santa gloves, santa capelet

The bad ones: santa bra, santa leotard, santa panties, santa hood, santa cape (none of these are capes)

Santa bra and santa panties could probably just be covered by a santa lingerie (or santa underwear) tag. Everything else in dubious & bad can prob be nuked or aliased tho, since in many cases the only reason these things are identifiably "santa" is because of the costume as a whole.

I think everything in dubious and below should be manually moved to santa costume/bikini and given the appropriate red + fur-trimmed tags.

After looking thru a bunch of these tags with the omission of Santa costume and/or Santa dress, it just seems we have a lot of undertagged Santa costume posts as a result (even though the wiki says it doesn't have to literally be a 1 to 1 cosplay of Santa).

santa_boots -santa_costume -santa_dress: 343
santa_gloves -santa_costume -santa_dress: 328
santa_capelet -santa_costume -santa_dress: 61
santa_leotard -santa_costume -santa_dress: 30

Also maybe worth discussing if tags like Santa Dress and Santa Bikini should imply Santa Costume.

BUR #34891 is pending approval.

create implication santa_bikini -> santa_costume
create implication santa_dress -> santa_costume

Putting it to a vote.