Gym Leader Badge

BUR #41197 has been rejected.

create alias gym_leader_badge -> gym_badge

I never understood why the tag is called "Gym Leader Badge," when the official term is "Gym Badge." I'd understand if it was to differentiate it from a similar tag, but as far as I'm aware there is no such tag.

BUR #41198 has been approved by @nonamethanks.

create alias gym_leader_badge -> badge_(pokemon)

Alternative option. This allows for the inclusion of other types of badges, such as those from Masters EX (which are received from "PML Leaders" rather than Gym Leaders), and the Titan and Star Badges from Scarlet and Violet.

Unless we want to make a new x_badge tag any time a Pokémon game has something other than the traditional gym system, then the second BUR is the best option.

The bulk update request #41198 (forum #356033) has been approved by @nonamethanks.

The bulk update request #41197 (forum #356032) has been rejected by @nonamethanks.