> I know the usual CatchURL root will not work here
> since it is https. Does anyone have a suggestion on
> how to proceed? Perhaps it would be possible to copy
> a cookie?
Coping the cookie.txt from your browser to the mirror directory has been
reported to work.