 +    },
 +    {
 +      "name": "applet",
-+      "interface": "HTMLElement",
++      "interface": "HTMLUnknownElement",
 +      "obsolete": true
 +    },
 +    {

+    },
+    {
+      "name": "bgsound",
+      "interface": "HTMLElement",
+      "obsolete": true
+    },
+    {

+    },
+    {
+      "name": "isindex",
+      "interface": "HTMLUnknownElement",
+      "obsolete": true
+    },
+    {
+      "name": "keygen",
+      "interface": "HTMLUnknownElement",
+      "obsolete": true
+    },
+    {
