Interesting — how easy are they to install compared to Mint, and would there be a way for Mint friends (I have a NixOS config for my fleet, and run our shared services) to easily migrate?
Don't run sha256sum -c on your suspect file — it expects to be passed a file containing hashes and other filenames. sha256sum the iso itself instead and check by eye, or make such a hash file.