How is 'digging around', torchdiving, dumping lava on them, etc. any better than anything else? Those are certainly boring vanilla techniques too. Mod-based solutions are more appropriate, but I'm not sure which mods are really appropriate for killing large quantities of mobs, and it's hard to...