Miner have standart option to fill hole after removals of pipes, but holes after mine ore remain. In these holes spawn many monsters.If you process a big field miners many many monsters spawns underground and minecraft have big lag. Can you add option to fill all holes (in working range) ? It's reduce lag and render errors.
P.S. Sorry for bad english.
