"And now," said Peter, cutting him off, "if we check out the contents of the other file, troll.gpg, we find that"—miscellaneous clicks—"one, it is huge, and two, it is a correctly formatted gpg file."