>The Etherpads, for example, had to literally prove theorems to get their real-time collaboration sw to work, and they hope eventually to use it in a whole range of applications.

Could you tell them to publish the papers or the notes please?