add API docs for BindingRepl#auto.