Leo Famulari <leo@famulari.name> writes:
> On Tue, Feb 04, 2020 at 03:18:03PM +0100, Damien Cassou wrote:
> The text "would be downloaded" is what indicates that substitutes are
> working.

I didn't notice this difference :-). It seems pretty obvious now. I
still think making it explicit would improve understanding. Here is a
modified patch. You may close the issue if you think no change is
necessary.

-- 
Damien Cassou

"Success is the ability to go from one failure to another without
losing enthusiasm." --Winston Churchill