Minecraft players will single-handedly redefine what "strip mine" means in English, and there's nothing we can do about it.