Earlier quoted context omitted.
They should add support for the OpenPGP Web Key Directory [1] system. Briefly, the idea is that the public key for user@example.com should be available at " rel="nofollow">https://example.com/openpgp/hu/ where is generated as described in the document. Gpg supports looking up keys via this since 2.1.12 [2]. An example of how to lookup and get a key this way can be seen here [3]. [1] https://tools.ietf.org/html/draft-…
This is a clever idea. Unfortunately, it doesn't seem like most mail providers would store something like this.
But mostly teams control their own mail domain, so they can do what they like (for example, use Fluidkeys, and we'll do WKD for them!)