HTML-encode the certificate info shown in case of verification failures