At
http://servers.minetest.net/ there is a table of servers. One column is labelled "IP:port". However, half the servers listed are listed by domain name, not IP address. Obviously, a domain name is not in any way an IP address. Is there any chance of getting the heading changed? For example, it could read "address:port", which would be correct for both domain names and IP addresses.