Easier identification of Slimv REPL buffer: buffer is flagged upon creation