always seemed weird to me that the hosts file never became a little personal address book, with some push mechanism to notify me of address changes, “gmail.com is moving to x.x.x.x”