Use a simpler scheme to generate FAQ, github editor is as simpler than Google Docs.
Use a simpler scheme to generate FAQ (missing files).
Redirect from index.php to index.html.
Add Google Webmaster Tools files.
Merge branch 'master' of github.com:ocaml/oasis-website