not marked as auto-downloadable because $other_file is smaller

[Simon McVittie]

On 24/01/16 10:55, Alexandre Detiste wrote:
> fill_gap() should be now smart enough to always pick the smallest possible provider first.
...
>   UnrealGoldPatch227i.zip:
>     # not marked as auto-downloadable because the 7z is smaller        <---- XXX

I think the other reason I did that is that some of the mirrors only
carry the 7z version. I'll check that and amend the comment.

    S