Judging records and certificates from this portal are signed with its Ed25519 key. Paste a record, or open the file you downloaded: your browser checks the signature against the key published at /.well-known/dogfood-keys.json, and the portal checks it too.
Paste it, open the file, or drop the file on the box.