Following up on the possible remedies, I'm thinking PySys_WriteStderr could be extended to take file object as the first argument, and if null it writes to low-level stderr instead.  That way the callers can add the message about "lost sys.stderr" themselves, rather than it being interspersed in their output.