/debian/patches/prefs/

• ../
• Don-t-auto-disable-extensions-in-system-directories.patch
• Set-javascript.options.showInConsole.patch