Yeah, I think the best thing to do is ask Pokemaster to do tag changes via
https://pokemondb.net/pokebase/meta/74851 (which we can continue adding to).
He's done a few of them (e.g.
https://pokemondb.net/pokebase/tag/oras automatically redirects) but most of our suggestions aren't done yet.