Good day,
The way to manage repository key has changed some time ago.
I'm a Debian user, so I tested this only on Debian 12.
I guess it's the same for Ubuntu.
Here is a patch to update the Debian and Ubuntu (as it Debian based) pages.
Best regards,
Marc Remy
