We should `cargo doc` in the CI to make sure that docs are aligned with the code.
We should
cargo docin the CI to make sure that docs are aligned with the code.