-@item @url{http://tools.ietf.org/html/rfc4880, RFC4880: OpenPGP Message Format}
-@item @url{http://tools.ietf.org/html/rfc3156, RFC3156: MIME Security with OpenPGP}
+@item @url{https://datatracker.ietf.org/doc/html/rfc4880, RFC4880: OpenPGP Message Format}
+@item @url{https://datatracker.ietf.org/doc/html/rfc3156, RFC3156: MIME Security with OpenPGP}