HR Tech Companies Laying People Off: Was It Overdue?