BUR #24379 has been approved by @nonamethanks.
rename the_nether -> the_nether_(minecraft)
This should not be used the alternate tag for hell.
For consistency with the rest of Minecraft-related gentags such as The End (Minecraft).
Updated by World Funeral