anyone got any results from deleting the dmp files? I've got a laptop running mysql 8 and it has 2 dmp files of about 4 GB each. I've moved them...