exc.py: str_(): Avoid traceback exception-formatting functions when possible because they escape non-ASCII characters