Thank you, good to know, and great that the documentation will get some love.
As for the link to the gpg key export command, it’s not working as the detailed key servers have been decommissioned. Having found this issue I encountered another, and I don’t seem to be the only one, but found this Getting GPG key for ubuntu repository? - #3 by saltyollpheist