Pipe download output through `cat` so it always succeeds

Pipe success is determined by the success of the last command in the
pipe, and `grep` indicates failure if no lines were selected. If we
don't download anything then `grep` fails, the pipe fails, and the
script - due to `set -e` - then fails/aborts at that point.

So pipe through `cat` last, which always succeeds.

0 files changed, 0 insertions, 0 deletions