Do we want to have office hours tomorrow? It's Election Day in the US, some people might not be available