Bash tool card has duplicate "Full output"

```bash
pi --no-extensions -p 'Use the bash tool exactly once: for i in $(seq 1 4000); do printf '\''line-%04d\n'\'' "$i"; done'
```

Shows:

```text
...
[Showing lines 2002-4001 of 4001. Full output: /tmp/...]

[Full output: /tmp/...]
```

The "Full output" is shown twice.
