From 078b8f81c476e6aa2003bcf56b24557fd825401e Mon Sep 17 00:00:00 2001
From: Claas Augner <495429+caugner@users.noreply.github.com>
Date: Tue, 28 Jan 2025 19:07:00 +0100
Subject: [PATCH 1/5] fix: remove stray semicolons

Causes https://github.com/christian-bromann/cddl/issues/107.
---
 index.bs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.bs b/index.bs
index f17a576d..1a3ee7aa 100644
--- a/index.bs
+++ b/index.bs
@@ -1612,7 +1612,7 @@ session.CapabilityRequest = {
   ? proxy: session.ProxyConfiguration,
   ? unhandledPromptBehavior: session.UserPromptHandler,
   Extensible
-};
+}
 </pre>
 
 The <code>session.CapabilityRequest</code> type represents a specific set of
@@ -9702,7 +9702,7 @@ script.ContextTarget = {
 script.Target = (
   script.ContextTarget /
   script.RealmTarget
-);
+)
 </pre>
 
 The <code>script.Target</code> type represents a value that is either a

From 04cd8fb64ea2571f84c27deae8d230aec79e7408 Mon Sep 17 00:00:00 2001
From: Claas Augner <495429+caugner@users.noreply.github.com>
Date: Tue, 28 Jan 2025 19:27:02 +0100
Subject: [PATCH 2/5] Remove extraneous group delimiter

---
 index.bs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.bs b/index.bs
index 1a3ee7aa..b25611c9 100644
--- a/index.bs
+++ b/index.bs
@@ -2262,7 +2262,7 @@ BrowserCommand = (
   browser.GetClientWindows //
   browser.GetUserContexts //
   browser.RemoveUserContext //
-  browser.SetClientWindowState //
+  browser.SetClientWindowState
 )
 </pre>
 

From 6d709d149deab52ee53dbde697357696d2032af7 Mon Sep 17 00:00:00 2001
From: Claas Augner <495429+caugner@users.noreply.github.com>
Date: Tue, 28 Jan 2025 19:28:11 +0100
Subject: [PATCH 3/5] Add missing comma

---
 index.bs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.bs b/index.bs
index b25611c9..3bb5aef0 100644
--- a/index.bs
+++ b/index.bs
@@ -1695,7 +1695,7 @@ session.PacProxyConfiguration = (
 )
 
 session.SystemProxyConfiguration = (
-   proxyType: "system"
+   proxyType: "system",
    Extensible
 )
 

From 8ab6359eba0f06b20c6c41184f74e8d28b760e29 Mon Sep 17 00:00:00 2001
From: Claas Augner <caugner@mozilla.com>
Date: Wed, 29 Jan 2025 11:07:08 +0100
Subject: [PATCH 4/5] fixup! fix: remove stray semicolons

---
 index.bs | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

diff --git a/index.bs b/index.bs
index 3bb5aef0..d81f5250 100644
--- a/index.bs
+++ b/index.bs
@@ -1712,7 +1712,7 @@ session.UserPromptHandler = {
   ? confirm: session.UserPromptHandlerType,
   ? default: session.UserPromptHandlerType,
   ? prompt: session.UserPromptHandlerType,
-};
+}
 </pre>
 
 The <code>session.UserPromptHandler</code> type represents the configuration of
@@ -5809,7 +5809,7 @@ network.Cookie = {
     sameSite: network.SameSite,
     ? expiry: js-uint,
     Extensible,
-};
+}
 </pre>
 
 The <code>network.Cookie</code> type represents a cookie.
@@ -5863,7 +5863,7 @@ samesite-flag, which is from [[SAME-SITE-COOKIES]].
 network.CookieHeader = {
     name: text,
     value: network.BytesValue,
-};
+}
 </pre>
 
 The <code>network.CookieHeader</code> type represents the subset of cookie data
@@ -5905,7 +5905,7 @@ network.FetchTimingInfo = {
     responseStart: float,
     <!-- TODO responseHeadersEnd: float: Not sure quite what to use for this -->
     responseEnd: float,
-};
+}
 </pre>
 
 The <code>network.FetchTimingInfo</code> type represents the time of each part
@@ -6031,7 +6031,7 @@ network.Initiator = {
     ? request: network.Request,
     ? stackTrace: script.StackTrace,
     ? type: "parser" / "script" / "preflight" / "other"
-};
+}
 </pre>
 
 The <code>network.Initiator</code> type represents the source of a network
@@ -6115,7 +6115,7 @@ network.RequestData = {
     destination: text,
     initiatorType: text / null,
     timings: network.FetchTimingInfo,
-};
+}
 </pre>
 
 The <code>network.RequestData</code> type represents an ongoing network request.
@@ -6188,7 +6188,7 @@ To <dfn>get the request data</dfn> given |request|:
 <pre class="cddl local-cddl">
 network.ResponseContent = {
     size: js-uint
-};
+}
 </pre>
 
 The <code>network.ResponseContent</code> type represents the decoded response to
@@ -6224,7 +6224,7 @@ network.ResponseData = {
     bodySize: js-uint / null,
     content: network.ResponseContent,
     ?authChallenges: [*network.AuthChallenge],
-};
+}
 </pre>
 
 The <code>network.ResponseData</code> type represents the response to a network
@@ -7928,7 +7928,7 @@ used to send custom messages from the [=remote end=] to the [=local end=].
 script.ChannelValue = {
   type: "channel",
   value: script.ChannelProperties,
-};
+}
 
 script.ChannelProperties = {
   channel: script.Channel,
@@ -7997,7 +7997,7 @@ script.ExceptionDetails = {
   lineNumber: js-uint,
   stackTrace: script.StackTrace,
   text: text,
-};
+}
 </pre>
 
 The <code>script.ExceptionDetails</code> type represents a JavaScript exception.
@@ -9692,7 +9692,7 @@ To <dfn>get the source</dfn> given |source realm|:
 <pre class="cddl remote-cddl">
 script.RealmTarget = {
   realm: script.Realm
-};
+}
 
 script.ContextTarget = {
   context: browsingContext.BrowsingContext,

From fc561947a4303ae2bdf3f36141630ec77ef056dc Mon Sep 17 00:00:00 2001
From: Claas Augner <caugner@mozilla.com>
Date: Wed, 29 Jan 2025 11:08:34 +0100
Subject: [PATCH 5/5] fixup! Remove extraneous group delimiter

---
 index.bs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.bs b/index.bs
index d81f5250..bde78e22 100644
--- a/index.bs
+++ b/index.bs
@@ -1660,7 +1660,7 @@ session.ProxyConfiguration = {
    session.DirectProxyConfiguration //
    session.ManualProxyConfiguration //
    session.PacProxyConfiguration //
-   session.SystemProxyConfiguration //
+   session.SystemProxyConfiguration
 }
 
 session.AutodetectProxyConfiguration = (