in the details panel, instead of showing connections to/from the internet as "TheInternet <port>", we now show "<dns-name>(<ip_addr>) <port>" (or just "<ip_addr> <port>" if we don't have a dns name). Fixes #1713.