code: def display_servers(server_definitions_filename):
      
      servers = ServerDefinitionFile2(server_definitions_filename)
  
      title = 'List of all servers that can be tested'
  
      headers = ['Name', 'Url', 'Default_namespace']
      rows = []
      for server in servers.list_all_servers():
          # specifically does not show server user and pw
          rows.append((server.nickname,
                       server.url,
                       server.default_namespace))
  
      print_table(title, headers, rows, sort_columns=0)
docs: display the defined servers information as a table.