I have tried to do the gpgverify manually and I get an error:
```
gpgv: Signature made 2022年11月02日 17時20分43秒 CET
gpgv:                using EDDSA key 97B7B58011814FB7CF4D878CED84AD6442F7A60F
gpgv: Can't check signature: No public key
gpgverify: Signature verification failed
```
The gpg verifications are still done on rdo?