Make the REPL a plugin too