PROOF GUI support for log filtering via pipe cmd