wget can also be used in a pipe as with curl?