Re: [SyncEvolution] Patch: user-submitted device ids