Local HTML documentation for Python.
