[COMMIT mail-lib] Sync with current GNU version of mail-extr.el