Adds a simply mining dimension, simply craft The Mining Portal and then right-click and boom your in the mining dimension
Mining dimension is editable with datapacks. see Github page for example datapack
