> is it too much to expect that people whose job it literally is know that too?

No, I don't think so. I don't know when they drew on these lines of credit. Maybe that was still up in the air when the first announcement was made. No financial institution wants to say "we ran out of capital" during market hours.