Executable rename in docs.