Attempt to fix rust-ci doc inclusion, again