web REPL as GitHub pages project homepage