From dee8f32cd3381ac10f058d723c61bc626e2f3352 Mon Sep 17 00:00:00 2001
From: Anne van Kesteren <annevk@annevk.nl>
Date: Tue, 19 Nov 2024 08:47:11 +0100
Subject: [PATCH] Meta: fix exported JSON terms regression

In 79b945da6b3e3be12473a276da8db5ceb1ed45be I unintentionally dropped "parse JSON from bytes" and "serialize JSON to bytes", breaking Fetch builds in the process.
---
 infra.bs | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/infra.bs b/infra.bs
index 7ab0d02..4c14aed 100644
--- a/infra.bs
+++ b/infra.bs
@@ -1898,8 +1898,9 @@ specification. [[!ECMA-262]]
 </div>
 
 <div algorithm>
-<p>To <dfn export>parse JSON bytes to a JavaScript value</dfn>, given a <a>byte sequence</a>
-|bytes|:
+<p>To
+<dfn export lt="parse JSON bytes to a JavaScript value|parse JSON from bytes">parse JSON bytes to a JavaScript value</dfn>,
+given a <a>byte sequence</a> |bytes|:
 
 <ol>
  <li><p>Let |string| be the result of running <a>UTF-8 decode</a> on |bytes|. [[!ENCODING]]
@@ -1932,8 +1933,9 @@ specification. [[!ECMA-262]]
 </div>
 
 <div algorithm>
-<p>To <dfn export>serialize a JavaScript value to JSON bytes</dfn>, given a JavaScript value
-|value|:
+<p>To
+<dfn export lt="serialize a JavaScript value to JSON bytes|serialize JSON to bytes">serialize a JavaScript value to JSON bytes</dfn>,
+given a JavaScript value |value|:
 
 <ol>
  <li><p>Let |string| be the result of <a>serializing a JavaScript value to a JSON string</a> given