mention binding.repl in "REPL TRACING" section