From 2f53cdeeb63db2b7cdc333d1a5a72abd5bb4f1ce Mon Sep 17 00:00:00 2001 From: Marcos Caceres Date: Tue, 9 Sep 2025 10:50:39 +1000 Subject: [PATCH 1/3] Editorial: clarify OS is backing store --- index.html | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/index.html b/index.html index 7c2e725..084ae23 100644 --- a/index.html +++ b/index.html @@ -184,7 +184,9 @@

An [=installed web application=] has an associated [=badge=], which is - initialized to [=badge/"nothing"=]. + initialized to [="nothing"=]. The operating system typically serves as + the backing store for the badge value, with the [=user agent=] acting + as an intermediary to communicate badge changes to the OS.

The user agent MAY (re)[=set=] an application's badge to From 5cc21503c6d7ea8339ebe367f11a0edb444f2a49 Mon Sep 17 00:00:00 2001 From: Marcos Caceres Date: Tue, 9 Sep 2025 10:52:48 +1000 Subject: [PATCH 2/3] Less jargon --- index.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/index.html b/index.html index 084ae23..0d73ba8 100644 --- a/index.html +++ b/index.html @@ -184,9 +184,9 @@

An [=installed web application=] has an associated [=badge=], which is - initialized to [="nothing"=]. The operating system typically serves as - the backing store for the badge value, with the [=user agent=] acting - as an intermediary to communicate badge changes to the OS. + initialized to [="nothing"=]. The operating system stores and manages + the badge value, with the [=user agent=] acting as an intermediary to + communicate badge changes to the OS.

The user agent MAY (re)[=set=] an application's badge to From 3add2f8f018cc7fd43d206f6d2a2eea7a902c238 Mon Sep 17 00:00:00 2001 From: Marcos Caceres Date: Mon, 22 Sep 2025 17:48:04 +1000 Subject: [PATCH 3/3] fixup local xref --- index.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/index.html b/index.html index 0d73ba8..da32fd1 100644 --- a/index.html +++ b/index.html @@ -184,9 +184,9 @@

An [=installed web application=] has an associated [=badge=], which is - initialized to [="nothing"=]. The operating system stores and manages - the badge value, with the [=user agent=] acting as an intermediary to - communicate badge changes to the OS. + initialized to [=badge/"nothing"=]. The operating system stores and + manages the badge value, with the [=user agent=] acting as an + intermediary to communicate badge changes to the OS.

The user agent MAY (re)[=set=] an application's badge to