Thanks, Grant, for that insight and for your experience with this issue. I was getting some peculiar behaviors with Firefox and sought to resort to the "standard" practice of trashing the preferences. I never had reason, over a few years,to trash Firefox preferences and so I cannot even be sure that the file ever existed, either in the current version or earlier versions, because I had never looked for it.