Thanks for the clarification. I now understand better: I was confusing WKD and keys.openpgp.org as same thing. As I received the email without the key attached

Thanks for the clarification. I now understand better: I was confusing WKD and keys.openpgp.org as same thing. As I received the email without the key attached and his domain doesn’t support WKD, I was stuck to manually import from keys directory. It makes sense.