Update docstrings for UnicodeChar::is_digit => is_numeric rename
auto merge of #19348 : SimonSapin/rust/patch-9, r=huonw