GUI: saving settings checkbox "Extraction fails if there is no triple
extracted."