For amusement (more on root nameserver problem)