I have [again][1] three basic questions about stacks.
 
1) When we consider categories fibered in groupoids, do we always mean *small* groupoids?
 
2) In the proof of Artin's criterion for algebraic spaces/stacks $X/S$ for every point $p \in X$ of finite type over $S$ a "local approximation" $X_p$ is constructed. Then $X = \coprod_p X_p$ does the job. But in order to show that this is actually a scheme in the given universe, we need that the points of finite type constitute a *set*. Perhaps I'm overlooking something trivial here, but I cannot see how we can use Artin's criterions to deduce this.

3) What is the current status of the book "[Algebraic Stacks][2]" by Kai Behrend, Brian Conrad, Dan Edidin, William Fulton, Barbara Fantechi, Lothar Göttsche und Andrew Kresch? I would *love* to read it as soon as it is completed.
 


  [1]: http://mathoverflow.net/questions/58428/basic-questions-about-stacks
  [2]: http://www.math.uzh.ch/index.php?pr_vo_det&key1=1287&key2=580&no_cache=1