Would you happen to know what the commands are that ...

- would list what servers are in the registry

- would remove servers from the...