better integration of REPL, better online help