Fix Rust-ci docs