code: def get_device_configs():
      '''
      Return a `pandas.DataFrame`, where each row corresponds to an available
      device configuration, including the `device` (i.e., the name of the
      device).
      '''
      frames = []
  
      for i in range(2):
          for device in get_video_sources():
              df_device_i = get_configs(device)
              df_device_i.insert(0, 'device', str(device))
              frames.append(df_device_i)
  
      device_configs = pd.concat(frames).drop_duplicates()
      device_configs['label'] = device_configs.device.map(
          lambda x: x.split('/')[-1].split('-')[1].split('_')[0])
      device_configs['bitrate'] = device_configs.height.map(get_bitrate)
      return device_configf get_device_configs():
      '''
      Return a `pandas.DataFrame`, where each row corresponds to an available
      device configuration, including the `device` (i.e., the name of the
      device).
      '''
      frames = []
  
      for i in range(2):
          for device in get_video_sources():
              df_device_i = get_configs(device)
              df_device_i.insert(0, 'device', str(device))
              frames.append(df_device_i)
  
      device_configs = pd.concat(frames).drop_duplicates()
      device_configs['label'] = device_configs.device.map(
          lambda x: x.split('/')[-1].split('-')[1].split('_')[0])
      device_configs['bitrate'] = device_configs.height.map(get_bitrate)
      return device_configs
docs: Return a `pandas.DataFrame`, where each row corresponds to an available
      device configuration, including the `device` (i.e., the name of the
      device).