It's good that dirmngr is no longer doing PTR lookups.

But one consequence of that is that gpg --search foo shows a line like this:

gpg: data source: https://193.164.133.100:443

This is probably intended partially as a debugging line. I think it should show the name that dirmngr used to reach the keyserver, and then show the IP address in parenthesis afterward. like so:

gpg: data source: https://hkps.pool.sks-keyservers.net:443 (connected to 193.164.133.100)

This ticket is *not* asking for a PTR lookup, just to show what the IP address was.

This might mean changing the "S SOURCE" output line from dirmngr itself. Maybe gpg will just replay that directly in its output?