Add DevDocs as a context provider

[arcuru]

Validations

• I believe this is a way to improve. I'll try to join the Continue Discord for questions
• I'm not able to find an open issue that requests the same enhancement

Problem

DevDocs is a provider of a ton of developer documentation sites. Integration with that would allow for adding context without needing to find the correct website to crawl with the current "Docs" context provider.

Solution

Create a new context provider, DevDocs, that queries devdocs.io or references a cached local db of their curated developer documentation.

As a reference solution, OpenCtx, the context provider used by Sourcegraph's Cody AI, contains this backend. See also #2643

[github-actions]

This issue hasn't been updated in 90 days and will be closed after an additional 10 days without activity. If it's still important, please leave a comment and share any new information that would help us address the issue.

[github-actions]

This issue was closed because it wasn't updated for 10 days after being marked stale. If it's still important, please reopen + comment and we'll gladly take another look!