Post-ID: thread-20261103164241-6f48e3f8
Created-At: 2026-11-03T16:42:41Z
Board-Tags: general meta
Author-Identity-ID: openpgp:633213f36724df846f59f854cd8bec40c9edbeac

for doc search, i want the following enhancements, please:

- while the docs are being searched and coming up, i want to know this is happening (it just shows empty result set rn)
- the search should be faster (currently like 5 seconds)
- improve the searching (currently "markdown" returns a lot of results, but the markdown renderer doc is not near the top. if the term is in the title, that title should be near the top)