Update of ED report from new reffy run

reffy-bot · reffy-bot · commit 8bf726a8b4ea · 2024-10-31T12:48:48.000Z
Using reffy commit 17.2.7.
diff --git a/ed/algorithms/user-timing.json b/ed/algorithms/user-timing.json
@@ -1,6 +1,6 @@
 {
   "spec": {
-    "title": "User Timing Level 3",
+    "title": "User Timing",
     "url": "https://w3c.github.io/user-timing/"
   },
   "algorithms": [
diff --git a/ed/dfns/user-timing.json b/ed/dfns/user-timing.json
@@ -1,6 +1,6 @@
 {
   "spec": {
-    "title": "User Timing Level 3",
+    "title": "User Timing",
     "url": "https://w3c.github.io/user-timing/"
   },
   "dfns": [
diff --git a/ed/headings/user-timing.json b/ed/headings/user-timing.json
@@ -1,14 +1,14 @@
 {
   "spec": {
-    "title": "User Timing Level 3",
+    "title": "User Timing",
     "url": "https://w3c.github.io/user-timing/"
   },
   "headings": [
     {
       "id": "title",
       "href": "https://w3c.github.io/user-timing/#title",
       "level": 1,
-      "title": "User Timing Level 3"
+      "title": "User Timing"
     },
     {
       "id": "toc",
diff --git a/ed/idl/user-timing.idl b/ed/idl/user-timing.idl
@@ -1,7 +1,7 @@
 // GENERATED CONTENT - DO NOT EDIT
 // Content was automatically extracted by Reffy into webref
 // (https://github.com/w3c/webref)
-// Source: User Timing Level 3 (https://w3c.github.io/user-timing/)
+// Source: User Timing (https://w3c.github.io/user-timing/)
 
 dictionary PerformanceMarkOptions {
     any detail;
diff --git a/ed/ids/user-timing.json b/ed/ids/user-timing.json
@@ -1,6 +1,6 @@
 {
   "spec": {
-    "title": "User Timing Level 3",
+    "title": "User Timing",
     "url": "https://w3c.github.io/user-timing/"
   },
   "ids": [
diff --git a/ed/index.json b/ed/index.json
@@ -1,7 +1,7 @@
 {
   "type": "crawl",
   "title": "Reffy crawl",
-  "date": "2024-10-31T06:42:53.051Z",
+  "date": "2024-10-31T12:48:36.894Z",
   "options": {
     "fallback": "ed/index.json",
     "output": "report",
@@ -2774,7 +2774,7 @@
       ],
       "crawled": "https://drafts.csswg.org/selectors-5/",
       "crawlCacheInfo": {
-        "lastModified": "Wed, 30 Oct 2024 17:23:49 GMT"
+        "lastModified": "Wed, 30 Oct 2024 17:23:50 GMT"
       },
       "generator": "bikeshed",
       "date": "24 September 2024",
@@ -9484,11 +9484,11 @@
       ],
       "crawled": "https://webassembly.github.io/gc/core/bikeshed/",
       "crawlCacheInfo": {
-        "lastModified": "Thu, 19 Sep 2024 21:09:47 GMT"
+        "lastModified": "Thu, 31 Oct 2024 08:15:15 GMT"
       },
       "generator": "bikeshed",
-      "date": "19 September 2024",
-      "revision": "671b52606e376137db7471c0d224eba5628c14ec",
+      "date": "31 October 2024",
+      "revision": "88463e822fafdf80f33b9eb84f0c489bd5940cf5",
       "algorithms": "algorithms/wasm-core-2-fork-gc.json",
       "links": "links/wasm-core-2-fork-gc.json",
       "refs": "refs/wasm-core-2-fork-gc.json",
@@ -18736,7 +18736,7 @@
       ],
       "crawled": "https://drafts.csswg.org/css-color-3/",
       "crawlCacheInfo": {
-        "lastModified": "Wed, 30 Oct 2024 17:23:49 GMT"
+        "lastModified": "Wed, 30 Oct 2024 17:23:50 GMT"
       },
       "date": "18 January 2022",
       "links": "links/css-color-3.json",
@@ -19079,7 +19079,7 @@
       ],
       "crawled": "https://drafts.csswg.org/css-conditional-4/",
       "crawlCacheInfo": {
-        "lastModified": "Wed, 30 Oct 2024 17:23:49 GMT"
+        "lastModified": "Wed, 30 Oct 2024 17:23:50 GMT"
       },
       "generator": "bikeshed",
       "date": "19 March 2024",
@@ -19759,7 +19759,7 @@
       ],
       "crawled": "https://drafts.csswg.org/css-flexbox-1/",
       "crawlCacheInfo": {
-        "lastModified": "Wed, 30 Oct 2024 17:23:49 GMT"
+        "lastModified": "Wed, 30 Oct 2024 17:23:50 GMT"
       },
       "generator": "bikeshed",
       "date": "9 August 2024",
@@ -33784,7 +33784,7 @@
         "sourcePath": "index.html",
         "filename": "index.html"
       },
-      "title": "User Timing Level 3",
+      "title": "User Timing",
       "source": "w3c",
       "shortTitle": "User Timing",
       "categories": [
@@ -33803,10 +33803,10 @@
       ],
       "crawled": "https://w3c.github.io/user-timing/",
       "crawlCacheInfo": {
-        "lastModified": "Fri, 30 Aug 2024 12:24:58 GMT"
+        "lastModified": "Thu, 31 Oct 2024 07:48:22 GMT"
       },
       "generator": "respec",
-      "date": "30 August 2024",
+      "date": "31 October 2024",
       "algorithms": "algorithms/user-timing.json",
       "links": "links/user-timing.json",
       "refs": "refs/user-timing.json",
diff --git a/ed/links/user-timing.json b/ed/links/user-timing.json
@@ -1,6 +1,6 @@
 {
   "spec": {
-    "title": "User Timing Level 3",
+    "title": "User Timing",
     "url": "https://w3c.github.io/user-timing/"
   },
   "links": {
diff --git a/ed/refs/user-timing.json b/ed/refs/user-timing.json
@@ -1,6 +1,6 @@
 {
   "spec": {
-    "title": "User Timing Level 3",
+    "title": "User Timing",
     "url": "https://w3c.github.io/user-timing/"
   },
   "refs": {

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"spec": {`
`3`		`- "title": "User Timing Level 3",`
	`3`	`+ "title": "User Timing",`
`4`	`4`	`"url": "https://w3c.github.io/user-timing/"`
`5`	`5`	`},`
`6`	`6`	`"algorithms": [`
Original file line number	Diff line number	Diff line change
`@@ -1,14 +1,14 @@`
`1`	`1`	`{`
`2`	`2`	`"spec": {`
`3`		`- "title": "User Timing Level 3",`
	`3`	`+ "title": "User Timing",`
`4`	`4`	`"url": "https://w3c.github.io/user-timing/"`
`5`	`5`	`},`
`6`	`6`	`"headings": [`
`7`	`7`	`{`
`8`	`8`	`"id": "title",`
`9`	`9`	`"href": "https://w3c.github.io/user-timing/#title",`
`10`	`10`	`"level": 1,`
`11`		`- "title": "User Timing Level 3"`
	`11`	`+ "title": "User Timing"`
`12`	`12`	`},`
`13`	`13`	`{`
`14`	`14`	`"id": "toc",`