Update REPL buffer name format in the README