Textarea

lava now spawns in the mining world, but some of the blocks next to the lava are seen as stone until you hit them

My only problem is that due to the connecting nature of caverns between strip mines, the mine world is going to be exploited far quicker. Or, so to say, the areas around mine entrances will be.