A PGP session key does not span multiple messages, however

This should not, too! If it does, it's a mistake.