add link to introduction in web REPL