[JAMF]

Well, it's not so much for using it with HL, but when you switch servers between friends. When you type in the IP address, it would have been nice if the game had a "favourites" pull-down, where you enter the IP address.

And bad boys have ways to find IPs easily, when they connect. They only have to look at their net log.