add docs on binding.repl.auto