Even worse, the software-based proofs are not the same as the plain text ones that they're giving out.

There's literally no reason to trust them, because it's completely divorced from the actual text.