I'd rather advise to use Web Key Directory that is trivial to setup (have https and put a key file in one special location). WKD is also widely supported by OpenPGP software (including ProtonMail, GnuPG, OpenKeychain).

See: https://datatracker.ietf.org/doc/draft-koch-openpgp-webkey-s...