Update to the last Rust.
Minor doc improvements.