Thanks for that.
My days of diving into code and debugging it are long behind me – particularly since I'd have to learn Javascript to do it – and Safari reports that the download is not a valid zip file, so on the whole the line of least resistance is to run it with Google Chrome.