Use Rust 0.8’s implementation of str.to_ascii_lower()