In discussions about the previous versions the (very) simple instructions we somehow agreed that within this section, we don't want the user to make any decision at all. Along with this and since it the alternative has no real benefit, I'd omit it.

Alright! I just realize that I should add to this that users need to download the file into the workspace directory

I kind of liked the download by command line instruction using curl of the previous Step by Step version. Provides a base for scripting such things (or put differently: allows a coach to give a single instruction: copy and paste all gray lines one by one and run them).

I see. I am a bit hesitant because I do not like instructing people to "mindlessly" copy-paste command line instructions, as they can be quite harmful. The other thing I was thinking about is the availability of curl. Can we safely assume that it is available in all setups we encourage? Or do Linux users first have to apt install curl?

Actually the availability was the argument for using curl and not wget: curl is available on Windows and macOS.
I assume the availability on Linux depends on the distribution. But I guess the number of Linux users that don't have curl installed is neglectable. 🧐

Then I'll use the curl instruction and add to the prerequisites that Linux users have to install curl, python and git 😁