This is possible a bit easier with this:
$ wget --mirror --no-parent https://www.cs.tcd.ie/~wardn1/PD_workshop/
You may want to delete some index-files afterwards.
Thanks for this. Unfortunately I have no idea what to do with
it, as I have no knowledge of HTML or coding--unless it has patch cables ;-) There has to be a zip containing these files floating around out there somewhere :-)
Thanks,
Jared