Extract data from Python tracebacks for informative displays
