It was the height of Covid, and pretty much everyone was out of school and trapped at home. The server maintenance crew had to login from home early in the morning to fix the bug.
