Interesting that they did a major layoff on a US holiday (MLK Day).
A person who was laid off said it was supposed to be Wednesday but HR flubbed the e-mail timing. Presumably once the e-mail went out, they were like “well, guess we might as well make it effective now instead of in 2 days…”