Re: [Digifri] RMS och GPG