  1 file changed, 145 insertions(+)
 
 diff --git a/ed/elements/html.json b/ed/elements/html.json
-index 4754a89db..d1cd88d99 100644
+index 4754a89db..70cb4557c 100644
 --- a/ed/elements/html.json
 +++ b/ed/elements/html.json
 @@ -447,6 +447,151 @@

 }
\ No newline at end of file
-- 
2.35.1.windows.2


From 8281cf7530d27497d3577ec01fc156b4ec898359 Mon Sep 17 00:00:00 2001
From: Francois Daoust <fd@tidoust.net>
Date: Fri, 29 Apr 2022 09:48:23 +0200
Subject: [PATCH] Add obsolete HTML elements

Patches the list of HTML elements with elements that are entirely obsolete but
