https://guide-minecraft.com/mods/advanced-mining-dimension.html