"RECOMMENDED" auto-crev-proofs repo has been dead for three years

[parasyte]

According to the wiki, auto-crev-proofs is the "RECOMMENDED quick way to discover a lot of other users" (quoted verbatim): https://github.com/crev-dev/cargo-crev/wiki/List-of-Proof-Repositories#list-of-repositories

That repo appears to be unmaintained and its CI pipeline has been failing for more than three years.