Issue #21061: correctly note redirect_stdout is reentrant