Packaging, issue #960: Document PUBLISH_PPA for staging/production release