Turn info section into HTML for Spaces; worked with Markdown only locally

Update styles, padding, borders, etc.

Use an accordion as the <details> didn't work

Upgrade gradio; remove some padding

Rewrite the app frontend; fix accidental exact search bug

Keep URL when filtering dataset, removes only id

Set repo_type="dataset" to specify that we're downloading the indices from a dataset repo

Download binary indices from quantized-retrieval-data

Use downloaded int8 embeddings instead of an index in this repository

Clarify that the demo runs on a CPU

Fix demo rescoring; add approximate index support; add sliders

Update import

Update dataset with title/texts & 1m -> 41m in markdown

Use 41m embeddings

Fix broken rescoring

a int8 -> an int8

Add Markdown to the demo

Resolve search crash due to wrong shape

Allow enter to work on the Textbox

Initial commit; minus indices