Examine source code of GitHub PR Opener

{
  "manifest_version": 3,
  "name": "GitHub PR Opener",
  "version": "1.2.0",
  "description": "Open a GitHub pull request from its branch name using the address bar.",
  "icons": {
    "16": "icons/icon-16.png",
    "32": "icons/icon-32.png",
    "48": "icons/icon-48.png",
    "96": "icons/icon-96.png"
  },
  "background": {
    "scripts": [
      "background.js"
    ]
  },
  "permissions": [
    "storage"
  ],
  "action": {
    "default_title": "Open a GitHub pull request",
    "default_icon": {
      "16": "icons/icon-16.png",
      "32": "icons/icon-32.png"
    },
    "default_popup": "popup.html"
  },
  "omnibox": {
    "keyword": "pr"
  },
  "options_ui": {
    "page": "options.html",
    "open_in_tab": true
  },
  "browser_specific_settings": {
    "gecko": {
      "id": "github-pr-opener-c3bd61bd-28e6-46e7-8368-f5147d4fa575@local.extension",
      "data_collection_permissions": {
        "required": [
          "none"
        ]
      }
    }
  }
}