The Bay Area is losing another tech headquarters to Texas, and this time, it’s more than just symbolic.