wget
NetworkPackage: wget
Downloads a file from a URL to disk, resuming where it stopped with -c. Where curl is for examining a response, wget is for keeping it.
What its options do in the lessons
From the same glossary the lessons render under their commands, so the two cannot disagree.
wget -O- The output file.
-O -writes to standard output.