Dear Kevin:

I went ahead and deleted the prefs.js file. So, I am now starting over with the about:config entries.

Benjamin