(minor) interface list in ServerSetup now shows only names (full output of toString() in our lab is too long)