On 5/9/22 17:45, Andreas Schwab wrote: > It's easy enough to insert a tee into the pipe if you really need to > debug this. > Hmm, indeed. Somehow inserting a tee in a pipeline never occurred to me. Thanks, - Tom