tidy up a couple of Emacs messages
add language switching to the Extempore REPL