Remove docs once to cleanup rust-ci.org’s uploaded docs.