packaging, issue #1176: Document PPA release step