AskTheDocs: a Local‑First RAG Chatbot for Technical Documentation