possible to transfer personal or group web zotero items to desktop zotero?
Is it possible to transfer personal or group web zotero items to desktop zotero? I share a web zotero group with a colleague who lost his zotero files during a desktop crash & repair. We are wondering if it is possible for him to 'download' his previously synced items from our web group or his personal web account back into this new zotero desktop app (or are the previously synced items just 'trapped' in his web account?). I hope this makes sense. Any help would be greatly appreciated!
If for some reason that's not working, he can try "Restore from Zotero Server" in the Sync->Reset pane, but that shouldn't be necessary unless this is something more complicated than a completely fresh install.