Found it at last, in another copy amongst other stuff. Problem solved.
The file is uploaded here: https://we.tl/t-80zaoqF9U2 (WeTransfer)
Like any file sharing site, make sure you have all your adblocking and virus scan tools at the ready - I had no ads or popups, so I have no way to know what dangerous things might be there.