&gt; <i>Wow, this file is really popular! Some tools might be unavailable until the crowd clears. [Try again]  [Dismiss]</i><p>Tangential question: Is it documented anywhere how many simultaneous users a Google Doc can have?