Nevermind. I see that the upload was already accepted, and what is missing is a binary-only upload matching the already existing source.Yes, sorry if I wasn't clear enough about that.
No problem. I've now done the additional binary-only upload. Thanks a lot.