On Tue, 16 Jun 2015, Sven Schreiber wrote: At present, duplicates are possible if one is a gfn file and the other a zip file (which is the case here). Removing the old one requires manual intervention. Clearly this should be changed, but that requires a modification to the server program and I haven't had time to make that modification yet. Allin