The pydoc server