function extractDeviceDetails(line) {
  const match = line.match(INSTRUMENTS_RE);
  if(!match) return null;
  const uuid = match[4];
  const platformVersion = match[3];