Settings:
        Gesture and menu preferences can only be reset to their default values.
        They can not be saved and restored.

Upgrade:
        Gesture and folder settings won't be migrated when upgrading to version
        0.5.
        Menu settings won't be migrated when upgrading to version 0.6.

Compatibility:
        Drag gestures work by capturing the right mouse button. There can be
        only one installed extension behaving like this. If compatibility issues
        arrise, drag gestures can be disabled in the 'Extra' tab.
