A tool to mine crates.io and produce static websites - the-lean-crate/criner