From 8f6dbfe6bb95e8ed19938b2afbffd57a1a227c9f Mon Sep 17 00:00:00 2001
From: Francois Daoust <fd@tidoust.net>
Date: Mon, 21 Sep 2026 08:51:54 +0200
Subject: [PATCH] [Editorial] Drop duplicate `<main>` element

A `<main>` element was explicitly created but Bikeshed's header boilerplate for
W3C specs now adds one already, see:
https://github.com/speced/bikeshed-boilerplate/blob/main/boilerplate-v1/org-w3c/header.include

The resulting HTML of the Process document contains two `<main>` elements as a
result. This update drops the explicit `<main>` element to get back to only one
element.
---
 index.bs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/index.bs b/index.bs
index 2cbf0e15..67c4d403 100644
--- a/index.bs
+++ b/index.bs
@@ -151,7 +151,6 @@ Conformance and specialized terms</h2>
 	for the purpose of understanding this document.
 
 <nav data-fill-with="table-of-contents"></nav>
-<main>
 
 <h2 id="Intro">
 Introduction</h2>
@@ -5868,4 +5867,3 @@ Changes since earlier versions</h3>
 
 }
 </pre>
-</main>