Columbus Day Holiday; and Early ‘Id Greetings

Today is a holiday here in the US (Columbus Day) and as usual on three day weekends I'm taking a break from blogging unless something drastic occurs. But I also want to offer early greetings to Muslim readers for ‘Id al-‘Adha, which in most countries begins at sundown. ‘Id Mubarak and normal blogging will resume tomorrow.