In fact a site admin actually said "this does not make the file available for download on the devlog page."
I'm not sure if you intended for the file to actually be downloaded, but you can't download a file from a devlog, as far as I can tell.
