Seems a bit redundant, if the page is being served over HTTPS, which ultimately relies on DNS records. The advantage of PGP is that it can be verified entirely

Seems a bit redundant, if the page is being served over HTTPS, which ultimately relies on DNS records. The advantage of PGP is that it can be verified entirely out-of-band, and distributed widely.