On Sat, Jul 6, 2013 at 6:37 AM, Florent Monnier <span dir="ltr"><<a href="mailto:monnier.florent@gmail.com" target="_blank">monnier.florent@gmail.com</a>></span> wrote:<br><div class="gmail_quote"><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

IMHO, the above idea won't replace the advantages of a real wiki.<br></blockquote><div><br></div><div>I agree. I think the current goal is to use GitHub as a pseudo-wiki. They'll handle the user accounts and server for us. We get static text files in the backend, which can be processed in custom ways as needed. But yes, it's not perfect. There is some extra indirection before you actually get to edit the file and that's enough of a deterrent if you just wanted to fix a spelling error. The next step might be to integrate an editor directly into <a href="http://ocaml.org">ocaml.org</a>, with authentication via GitHub or OpenID.</div>

<div><br></div></div>