Fix Rust-CI doc redirect.