Don't fontify "stdin:N:" stacktrace entries in REPL buffer

Add couple of minor tweaks here and there on the way.