Just a “housekeeping” note.
I want to let readers here whose first language is not English know that I have added a Google Translation function on the right side of the page. That way readers can get an approximate translation of my postings in their preferred languages. Google Translate is not at all perfect, but it is a big improvement over nothing.

David