[dehrmann]

This might just be a post-holiday rush. It's a dick move to lay people off between ~Nov 15 and Jan 1, and if you can afford to avoid it, it's best to avoid burning people affected and making the remaining employees a little more bitter and anxious.