History 0002-gui-make-preferences-dialogue-modal-for-parents.patch