make crop top overhang cover other cropped topwears too

BUR #11375 has been rejected.

create alias crop_top_overhang -> cropped_topwear_overhang
remove alias crop_top_overhang -> cropped_topwear_overhang
remove implication crop_top_overhang -> crop_top

Posts under crop top overhang were assumed to be crop tops, but the tag is also used for other cropped topwears like cropped shirt and cropped jacket, which are not considered crop tops. Unless we want to create new cropped shirt overhang, cropped jacket overhang etc tags, seems a bit excessive to me.

sidenote: should t-shirts be considered a crop top or a cropped shirt?

Sorry but "topwear" is an absolutely abysmal name. It just has all the same problems of the rest of the *wear tags we are now trying to get rid of.

well does that mean we want new cropped * overhang tags?

If we don't want separate tags for every type of torso garment then we can just keep crop top overhang for it. It's already kind of stupid that we have so many different redundant shirt tags. Having a second shirt-specific cropped-garment tag when we already have cropped shirt is bizarre.

The bulk update request #11375 (forum #217415) has been rejected by @nonamethanks.

We also have shirt overhang. These tags are a mess, but "cropped topwear overhang" is not a good tag name.