BUR #40809 has been approved by @nonamethanks.
create alias shunmei -> shunmei_(royal_flush_heroes)
create alias oleyl -> oleyl_(royal_flush_heroes)
rename nether -> nether_(royal_flush_heroes)
deprecate nether
rename lima -> lima_(royal_flush_heroes)
deprecate lima
rename ginny -> ginny_(royal_flush_heroes)
deprecate ginny
These tags have existed since at least 2016, and half of them are ambiguous.