escape traceback for html