if (! array_key_exists($local_device_id, $devices_by_id)) {
        $devices_by_id[$local_device_id] = [
            'id'=>$local_device_id,
            'label'=>shorthost(format_hostname($local_device), 1),
            'title'=>generate_device_link($local_device, '', [], '', '', '', 0),