[hocuspocus]

> Copilot revenue goes to 0 if GitHub burns to the ground.

That's not remotely true. I doubt most Copilot Business/Enterprise subscribers care about GitHub at all.