No POD found for badkey4_ed25519.txt. Time to read the source?