Html escape traceback text in