Yeah, it would be quite an acquihire, and I am already stretching the definition by including Heroku!

A true acquisition still is a strong possibility, but certainly far less likely than before the IPO, and it might be described as a merger.