cargo-cacher VS devdocs

I had my own full local mirror with https://github.com/ChrisMacNaughton/cargo-cacher a few years back (repeated downloads in docker builds -.-). Iirc, it was 43 GB. I should probably donate some money for doing that… (To who, actually? Mozilla? Rust foundation?)

You could look into https://devdocs.io/ and see how they are handling it?

Check it out: https://devdocs.io/

Many of productivity tools I use are free (and not always related to dev, but as a side effect, increase my development productivity as well):

* https://www.raycast.com/ has the biggest impact to my productivity. Good old https://www.alfredapp.com/ is another option;

* https://devdocs.io/ to look up docs;

* https://www.tldraw.com/ for temporary sketches, wireframes, etc.

* while I'm here: in my experience, one-time purchase from https://serif.com/ is a great alternative to Creative Cloud.

Is there a way to fix this with the browsing plugin? Like have it pull down the latest docs? Or maybe somehow just load all of https://devdocs.io/ via embeddings?

As a web developer, having quick and easy access to documentation is essential. DevDocs is a comprehensive documentation aggregator that brings together documentation for numerous programming languages, frameworks, libraries, and APIs.

Another example is devdocs.io.

Big thanks to the contributers of the awesome DevDocs project! This extension is using the APIs provided by their sites.