It was exported with gpg --armor --export-options export-minimal --export KEYID
Since I currently do not have access to sayuri, sayuri’s migration is not done yet. The host keys and wg-home-private-key secret still have to be added.