rewrite the docs for Binding.repl.{enable!,disable!}.