Editorial: don't exclude Permissions IDL

marcoscaceres · marcoscaceres · commit b7752bf3eb4b · 2021-10-28T12:44:09.000+11:00
diff --git a/index.html b/index.html
@@ -162,15 +162,15 @@ <h2>
         </h2>
         <p>
           The Web Midi API is a [=powerful feature=] that is identified
-          by the [=powerful feature/name=] <a>"midi"</a>. It defines
-          the following:
+          by the [=powerful feature/name=] <a>"midi"</a>. It integrates with
+          [[[Permissions]]] by defining the following permission-related flags:
         </p>
         <dl>
           <dt>
             [=powerful feature/permission descriptor type=]
           </dt>
           <dd>
-            <pre class="idl exclude">
+            <pre class="idl">
               dictionary MidiPermissionDescriptor : PermissionDescriptor {
                 boolean sysex = false;
               };
