i don't think they do. i think they are trying still to get approval to acquire huggingface.