fix logo link

add deprecation notice + link to https://theoremsearch.com

switch to one db instance connection

remove connection pooling; fix user query storage

fix GA

fix feedback

fix feedback buttons

fix app

improve app: arxiv as default source, green/red thumb up and down, and add word "detailed" to prompt

Improve README with project description

Use force push for HF sync

Initial app code with GitHub Actions HF sync