Problem: discovery of servers in the network was not in the RFC

Solution: put it in the RFC