`showtraceback()` goes to stdout, looking at the implementation. Possibly it shouldn't, but this should go to the same stream, and changing `showtraceback()` is more invasive.