docs: def _writedoc(doc, thing, forceload=0):
      """Write HTML documentation to a file in the current directory.
      """
      try:
          object, name = pydoc.resolve(thing, forceload)
          page = pydoc.html.page(pydoc.describe(object), pydoc.html.document(object, name))
          fname = os.path.join(doc, name + '.html')
          file = open(fname, 'w')
          file.write(page)
          file.close()
      except (ImportError, pydoc.ErrorDuringImport), value:
          traceback.print_exc(sys.stderr)
      else:
          return name + '.html'