/debian/patches/prefs/
../
Don-t-auto-disable-extensions-in-system-directories.patch
Set-DPI-to-system-settings.patch
Set-javascript.options.showInConsole.patch