Happy Holiday

Today’s an official holiday here in the US. Regularly scheduled programming will resume tomorrow.