>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes: Pedro> I had this in my local "print -OPT" branch, but had decided not to Pedro> include in the original series, because it's not as useful as the Pedro> others. I'm sending it now, since I had it written anyway. FWIW this looks good to me. Tom