Fix online REPL link