Which numbers are at all time highs.
Is that really representative of what people mean by tech? Or does that include companies that happen to make software?