[bulk] Danmachi

create alias danmachi -> dungeon_ni_deai_wo_motomeru_no_wa_machigatteiru_darou_ka
create alias hestia_(dungeon) -> hestia_(danmachi)
create alias hestia_(dungeon)_(cosplay) -> hestia_(danmachi)_(cosplay)

Link to request

"Danmachi" is the official abbreviation, as seen on the anime website, among other sources.

Do the latter two really need to be aliased rather than mass edited? Are people actually using "Dungeon" as an abbreviation of this show's title, other than whomever created that tag in the first place?

The third one can definitely be an edit, the second one is not very many posts and could probably get away with the same.

Since it's not like the tag is going to be used for anything else, it doesn't hurt to have an alias in case some taggers have already gotten used to adding the "dungeon" form or put the tag on their subscriptions. Granted, with the tag autocomplete I think the former is unlikely to happen these days.

The bulk update request #134 has been approved.