extensionPrefs/main.js misc/config.js misc/extensionUtils.js misc/fileUtils.js misc/params.js