Update of ED report from new reffy run

Using reffy commit 19.1.7.

Author: reffy-bot

ed/index.json

@@ -1,7 +1,7 @@
 {
   "type": "crawl",
   "title": "Reffy crawl",
-  "date": "2025-08-16T06:45:41.887Z",
+  "date": "2025-08-16T12:49:50.310Z",
   "options": {
     "fallback": "ed/index.json",
     "output": "report",
@@ -15370,9 +15370,9 @@
       ],
       "crawled": "https://www.rfc-editor.org/rfc/rfc7239",
       "crawlCacheInfo": {
-        "lastModified": "Fri, 15 Aug 2025 06:41:56 GMT"
+        "lastModified": "Sat, 16 Aug 2025 02:56:08 GMT"
       },
-      "date": "15 August 2025",
+      "date": "16 August 2025",
       "links": "links/rfc7239.json",
       "headings": "headings/rfc7239.json",
       "ids": "ids/rfc7239.json",