Dynamically generate a heading for Extension Docs API pages

chrome/common/extensions/api/debugger.json

 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 [
   {
     "namespace": "debugger",
+    "description": "The <code>chrome.debugger</code> API serves as an alternate transport for Chrome's <a href='http://code.google.com/chrome/devtools/docs/remote-debugging.html'>remote debugging protocol</a>. Use <code>chrome.debugger</code> to attach to one or more tabs to instrument network interaction, debug JavaScript, mutate the DOM and CSS, etc. Use the Debuggee <code>tabId</code> to target tabs with sendCommand and route events by <code>tabId</code> from onEvent callbacks.",
     "types": [
       {
         "id": "Debuggee",
         "type": "object",
         "description": "Debuggee identifier. Either tabId or extensionId must be specified",
         "properties": {
           "tabId": { "type": "integer", "optional": true, "description": "The id of the tab which you intend to debug." },
           "extensionId": { "type": "string", "optional": true, "description": "The id of the extension which you intend to debug. Attaching to an extension background page is only possible when 'enable-silent-debugging' flag is enabled on the target browser." },
           "targetId": { "type": "string", "optional": true, "description": "The opaque id of the debug target." }
         }
@@ skipping 158 matching lines @@
             "type": "string",
             "name": "reason",
             "description": "Connection termination reason.",
             "enum": [ "target_closed", "canceled_by_user", "replaced_with_devtools" ]
           }
         ]
       }
     ]
   }
 ]