They’re buying a brand, some employees, and some momentum — not any of their software. HF probably does have propriety goodies to make it all run efficiently, but certainly not a billion dollars worth, much less 13!
In fact, has HF ever wished to make money? They probably pay AWS more infra cost than they earn. The exit was planned all along.