of course. There are also other differences. Actually, I have no idea why it even matters unless you are specifically exploiting curl. And they are not in this

of course. There are also other differences. Actually, I have no idea why it even matters unless you are specifically exploiting curl. And they are not in this case. You can redirect wget output to stdout too...