def
HTMLForException
(excInfo=None, options=None):