It's great to be in a position to do this, however I'm beginning to think that their greater contribution is ghostty

I don't really know how to value things any more when I see someone develop a tool that is kind-of useful that then gets acquired for half a billion dollars. As someone with a decent number of decades of terminal hopping, the improvement that ghostty has brought a breath of fresh air. To me it has represented more utility that a few of those acquisitions.