docs: def write_other_members(self, f, catch_all=False):
      """Writes the leftover members to `f`.
  
      Args:
        f: File to write to.
        catch_all: If true, document all missing symbols from any module.
          Otherwise, document missing symbols from just this module.
      """
      if catch_all:
        names = self._members.items()
      else:
        names = inspect.getmembers(self._module)
      leftovers = []
      for name, _ in names:
        if name in self._members and name not in self._documented:
          leftovers.append(name)
      if leftovers:
        print("%s: undocumented members: %d" % (self._title, len(leftovers)))
        print("\n## Other Functions and Classes", file=f)
        for name in sorted(leftovers):
          print("  %s" % name)
          self._documented.add(name)
          self._mentioned.add(name)
          self._write_member_markdown_to_file(f, "###", *self._members[name])