To be clear, VISA's writeup is fine. I've just seen commentary elsewhere about the non-DNS files above doing DNS, and after a lot of hours, analysis suggests it's not there. Happy to update the post if I'm wrong. Maybe people just referenced the wrong hashes by mistake.