Everyone,

     I whipped up a small shell script to modify the profile defaults
(firefox.js), to ease porting from firefox.  It takes as input the name
(ex. dom.ipc.plugins.enabled), and a value to change it to.  I've
attached it to this email if you guys want to look it over.  I'm
thinking something similar to this added to 'make.icecat':

         ./mod-prefs.sh "extensions.getAddons.get.url"
"http://www.gnu.org/software/gnuzilla/addons.html"

And similar lines for the other preferences that need to be changed.

Ian D