alias vaginal_sex -> vaginal

BUR #11093 has been approved by @nonamethanks.

create alias vaginal_sex -> vaginal

nonamethanks said just alias it

Edit: Ignore this post.

Users who mistakenly use vaginal_sex will end up skipping sex. If this alias were to occur we wouldn't be able to instantly identify un-sex-tagged vaginal posts since we don't have a "split alias" feature.

Deprecate instead?

sex is not one of those tags that are often accidentally missed, given that it's one of the most popular tags on site, so I don't think there's any danger of losing precision here.

The bulk update request #11093 (forum #216181) has been approved by @nonamethanks.