Add information on how to use the REPL