"Terry Reedy" <tjreedy at home.com> wrote an accidental quote without comment that I did not know I had sent until it showed up. Whoops. Sorry. see real response sent later.