On https://secureblue.dev/install, there is a pgp key. When I download it and try to import it, it won’t import. I also can’t find it on the ubuntu pgp directory or mit pgp directory. I can compare the iso and iso hash, but without the key to make sure the iso hash is valid, this is useless.

Am I doing something wrong? I can’t find another copy of the key anywhere and can’t import it.