Updated documentation links. This might change again back to Rust-CI if
that starts working again.