Examine source code of Isabelle markup expander

{
  "manifest_version": 2,
  "version": "0.1",
  "author": "terru",
  "name": "Isabelle markup expander",
  "description": "Parse Isabelle escape codes and replace them by unicode representation",
  "browser_specific_settings": {
    "id": "isabellemarkupexpander@stuebinm.eu",
    "gecko": {
      "data_collection_permissions": {
        "required": [
          "none"
        ]
      },
      "id": "{438eca93-24fd-4f04-b4db-e711ed998dac}"
    }
  },
  "background": {
    "page": "src/background.html"
  },
  "browser_action": {
    "default_title": "Isabelle",
    "default_icon": "isabelle_new_embed.svg"
  },
  "permissions": [
    "<all_urls>"
  ]
}