rename str::loop_chars_sub to str::substr_all, and propagate this change to std::rope and rustdoc's calls to these