Double Post

My apologies to readers who got two not-quite-identical posts. The Blogspot editor is misbehaving - I'll use something else form now on, so won't happen again.