Currently editors/IDEs that crawl docs for you generally don't do a good job, because HTML docs are designed for humans, and because human knowledge is needed to curate them to fit a given context window.

→ View original post on X — @jeremyphoward