I’m off today, visiting family. (How to contact me)
Tomorrow is a national holiday in the United States, and yesterday my father-in-law had a big milestone birthday. So I’m outside Washington spending a few days with family. Regular posting should resume Thursday. Happy Independence Day to U.S. readers.