[bug#72536] [PATCH] tap: followups for the new `--stderr-prefix' option

[Karl Berry]

    I have some minor follow-up commits, attached:

Looks good to me. Pushed. Thanks again, Richard. -k