Revert "Revert "Merge pull request +128 from c9/docs""
Revert "Revert "Merge pull request +128 from c9/docs""

This reverts commit d5b8b6969df3f9dc1d45cf6792d89b91501437f9.
c9/c9.ide.ace.repl,c9/c9.ide.ace.repl