debian/0001-pin-to-toolbar.patch
debian/0002-default-settings.patch
debian/0003-extensions-id.patch
