debian/patches/all/submitted-po-fr-fixes.diff: fix French translation of short options. Closes: #994133.