Add documentation for PR-Agent Chrome Extension and update mkdocs.yml to include new section

docs/docs/chrome-extension/index.md

@@ -0,0 +1,22 @@
+## PR-Agent chrome extension
+
+- PR-Agent Chrome extension ia a toolbar that integrates seamlessly with your GitHub environment, allowing you to access PR-Agent tools directly from the GitHub interface.
+- With PR-Agent Chrome extension, it's [easier than ever](https://www.youtube.com/watch?v=gT5tli7X4H4) to interactively configuring and experimenting with the different tools and configuration options.
+- After you found the setup that works for you, you can also easily export it as a persistent configuration file, and use it for the automatic commands.
+
+<kbd><img src="https://codium.ai/images/pr_agent/toolbar1.png" width="512"></kbd>
+
+<kbd><img src="https://codium.ai/images/pr_agent/toolbar2.png" width="512"></kbd>
+
+## Installation
+
+Go to the marketplace and install the extension:
+[PR-Agent Chrome Extension](https://chromewebstore.google.com/detail/pr-agent-chrome-extension/ephlnjeghhogofkifjloamocljapahnl)
+
+## Pre-requisites
+
+The PR-Agent Chrome extension will work on any repo where you have previously [installed PR-Agent](https://pr-agent-docs.codium.ai/installation/).
+
+## Data privacy and security
+
+The PR-Agent Chrome extension only modifies the visual appearance of a GitHub PR screen. It does not transmit any user's repo or pull request code. Code is only sent for processing when a user submits a GitHub comment that activates a PR-Agent tool, in accordance with the standard privacy policy of PR-Agent.

docs/mkdocs.yml

@@ -37,6 +37,7 @@ nav:
     - 💎 CI Feedback: 'tools/ci_feedback.md'
     - 💎 Similar Code: 'tools/similar_code.md'
   - Core Abilities: 'core-abilities/index.md'
+  - Chrome Extension: 'chrome-extension/index.md'
 
 theme:
   logo: assets/logo.svg