gpg --keyserver hkps://keyserver.ubuntu.com --recv-keys 0x3A7F9E2C gpg --verify sxyprn-*.sig sxyprn-*.tar.gz
Then import in HTML:
gpg --keyserver hkps://keyserver.ubuntu.com --recv-keys 0x3A7F9E2C gpg --verify sxyprn-*.sig sxyprn-*.tar.gz
Then import in HTML: