> Their CEO posted a quick note on their forums the other day about this which implied they don't normally work on holidays and it would take until Tuesday for a response.

Judging from today's editors note, if things need to happen more quickly, then they do.

That's true of every executive position, but not necessarily for HR or legal. Especially if they use an external firm.