Pokémon Mart alias

BUR #44637 has been rejected.

create alias poke_mart -> pokemon_mart

Utility alias. In my experience, "Poké Mart" is the much more commonly used term, and I incorrectly assumed that it would be the tag name. Both terms are technically official, so I think the best option would be to make the abbreviation an alias of the full term.

Googling "pokemon mart" immediately takes you to Poke Mart. No one calls it by the full term. It should be the other way around.

BUR #44638 has been approved by @evazion.

create alias pokemon_mart -> poke_mart

Alternate BUR.

Literally nobody calls it a "Pokemon Mart".

Bulbapedia: Poké Mart

The bulk update request #44637 (forum #373004) has been rejected by @evazion.

The bulk update request #44638 (forum #373007) has been approved by @evazion.