Office hours cancelled on 10 Nov 2023

With apologies for the short notice, the office hours on 10 Nov 2023 are cancelled. The day is a US federal holiday, and unfortunately our non-US-based maintainers are by chance unable to cover the office hours this time. The next office hours will be 24 Nov (which is unfortunately also a US federal holiday) and it is still TBD whether that will go forward or not.

We will endeavor to spend a bit extra time answering forum posts these weeks in compensation for the missed office hour.