On Tuesday, 20 August 2013 at 20:06:12 UTC, Jacob Carlborg wrote: > Would calling it "archiver" or some other name be better? Almost certainly, yes. An "archive" is something you put data into, not something that puts data somewhere else. ;) David