When I use the "vos listaddrs" command I see a number of servers listed that have since been retired and are no longer in service. I cannot remember the correct way to remove those servers from the VLDB. Can someone help me with this? -- Thank you,