On 2/23/25 12:53, Karl Berry wrote:
> I pushed it. Thanks!!

Thank you!  And thank you for the documentation improvements.

I have some minor follow-up commits, attached:

   1. Minor documentation revisions.
   2. Change command_ok_ to support shell functions.
   3. New test to check stdout/stderr processing order.

-Richard