Added note about WPEWebKit (#330)

since this is why we didn't include the Push API

index.html

@@ -397,7 +397,7 @@ <h3>URLs</h3>
       <h2>Web Media APIs proposed to be supported on all platforms</h2>
       <section>
         <h2>Introduction</h2>
-        <p>APIs in this section are important for web media delivery, but either are not yet implemented in all four code bases or not yet commonly implemented across embedded browsers in consumer products. We encourage the following APIs be implemented on all HTML user agents as soon as possible. It is expected that, as implementations become available, some of these specifications may be listed as supported on all platforms in a future version of this specification.</p>
+        <p>APIs in this section are important for web media delivery, but either are not yet implemented in all four code bases or not yet commonly implemented across embedded browsers in consumer products, such as WPEWebKit. We encourage the following APIs be implemented on all HTML user agents as soon as possible. It is expected that, as implementations become available, some of these specifications may be listed as supported on all platforms in a future version of this specification.</p>
       </section>
       <section>
         <h3>Media specifications</h3>