Holiday Notes

Today is the Columbus Day holiday in the United States, so I won't be doing regular posting today.

Let me also offer my greetings, a bit belatedly, to Jewish readers for Sukkot. That week-long festival began last week.