I'll do the same-- it only takes a moment (except I'll use the name Fakamoto). You can decode the message by running gpg -d and feeding in the "BEGIN PGP MESSAGE" block.
Satoshi did publish a PGP key but AFAIK he never signed any messages with it. It does not expire so theoretically he could come back and prove he's still around with it if he wanted to.