Due to difference in how things are named between different operating systems <sigh>, we make multiple copies of files. But we don't need to upload these extras to the release dir, since they only risk confusing users further (and lack sha256).