Function write_docs_index 

async fn write_docs_index(docs_dir: &Path, crate_names: &[String]) -> Result<()>

Write a docs/index.html that either redirects straight to the single crate’s docs (one crate) or lists all crates (multiple crates).