More general version of script that let's you specify the collection name on the commandline. Defaults to htrc-full-ef