You can also browse the complete source file or the generated documentation.
def HTMLForException(excInfo=None, options=None)