To be honest, everyone would have been better off if coal extraction remained a manual process.