Ah, that worked, or at least it worked through lemmy.zip but not old.lemmy.zip for some reason. I did need the entire URL as you said-- dropping the https:// turned up results with this thread and another one where the URL is linked, but not the original URL itself.