Random aside, they recently bought https://ai.com which redirects to chat gpt atm but it wouldn't surprise me if they plan to drop the open eventually or move their paid stuff to it as they do have open source stuff that merits the name.