Thanks very much Rui - the second link works fine. For anyone else who wants to download these files, don't believe esnips when it tells you to download the "esnips downloader" - it isn't needed. You just need to right click on the file and choose "open link in new tab" to download (in Firefox anyway).