Until this is fixed, a way to delete that binary is to upload a dummy source that supersedes it, then delete the source.
Until this is fixed, a way to delete that binary is to upload a dummy source that supersedes it, then delete the source.