Reference tinyindex in Docs; link to PyPI, not crates.io