Added some repl settings infrastructure.