address some of the feedback

Author: annevk

index.html

@@ -169,17 +169,22 @@ <h2>
           Declarative push message
         </h2>
         <p>
-          A <dfn>declarative push message</dfn> is a [=push message=] whose data is encoded in such
-          a way that it results in some automatic action on behalf of the web application. E.g.,
-          the creation and display of a notification.
+          A <dfn>declarative push message</dfn> is a [=push message=] whose data is a JSON document
+          that is understood by the user agent. A user agent opportunistically parses each incoming
+          [=push message=] to determine if it is a [=declarative push message=] using the
+          [=declarative push message parser=].
         </p>
         <p>
-          A [=declarative push message=] is a JSON document that contains the instructions to
-          create and display a notification.
+          A [=declarative push message=] allows for the creation and display of a notification
+          without the involvement of a service worker. Nevertheless, a service worker can still be
+          involved if desired by the [=application server=]. In such a scenario the declarative
+          nature of the [=push message=] serves as a backup in case the service worker was evicted
+          due to storage pressure, for instance. And also provides a more object-oriented approach
+          to transmitting notification data.
         </p>
         <pre class="example">
           {
-            "web_push": 9001,
+            "web_push": 8030,
             "notification": {
               "title": "Watch the new season of Return of the Example now!",
               "lang": "en-US",
@@ -202,7 +207,7 @@ <h3>
             </dt>
             <dd>
               <p>
-                An integer that must be 9001. Used to disambiguate a [=declarative push message=]
+                An integer that must be 8030. Used to disambiguate a [=declarative push message=]
                 from other JSON documents.
               </p>
             </dd>
@@ -304,7 +309,11 @@ <h3>
             </dt>
             <dd>
               <p>
-                An integer in the range 0 to 9223372036854775807, inclusive.
+                An integer in the range 0 to 18446744073709551615 (2<sup>64</sup> − 1), inclusive.
+              </p>
+              <p class="note">
+                Platform conventions are likely to impose a lower limit with regards to what is
+                displayed to the end user. [[BADGING]]
               </p>
             </dd>
           </dl>
@@ -345,7 +354,7 @@ <h3>
             </li>
             <li>
               <p>
-                If <var>message</var>["`web_push`"] is not 9001, then return failure.
+                If <var>message</var>["`web_push`"] is not 8030, then return failure.
               </p>
             </li>
             <li>
@@ -428,9 +437,9 @@ <h3>
               <p>
                 If <var>message</var>["`app_badge`"] [=map/exists=] and
                 <var>message</var>["`app_badge`"] is an integer in the range 0 to
-                9223372036854775807, inclusive, then set <var>appBadge</var> to
-                <var>message</var>["`app_badge`"].
-              </p>
+                18446744073709551615 (2<sup>64</sup> − 1), inclusive, then set <var>appBadge</var>
+                to <var>message</var>["`app_badge`"].
+              </p><!-- unsigned long long in Web IDL -->
             </li>
             <li>
               <p>