Huh, a friend of mine was complaining that you couldn't do something similar -- advertise services with their port numbers via DNS, so you could e.g. host a doz

Huh, a friend of mine was complaining that you couldn't do something similar -- advertise services with their port numbers via DNS, so you could e.g. host a dozen Minecraft servers from a single IP (with a dozen different hostnames pointing at it), without making users type in port numbers.