Daily Grist won’t be published on Monday, Martin Luther King, Jr., Day. See you on Tuesday.