1 8e5ae9ac 2023-05-05 op <header class='index-header'>
 2 09427a83 2023-05-06 op   <!-- the default stylesheet allow for a heading logo here, for example:
 3 8e5ae9ac 2023-05-05 op   <a href="https://gameoftrees.org" target="_blank">
 4 8e5ae9ac 2023-05-05 op     <img src='/got.png'
 5 8e5ae9ac 2023-05-05 op          srcset='/got.png, /got@2x.png 2x'
 6 8e5ae9ac 2023-05-05 op          alt='"GOT" where the "O" is a cute smiling pufferfish.' />
 7 8e5ae9ac 2023-05-05 op   </a>
 8 09427a83 2023-05-06 op   -->
 9 09427a83 2023-05-06 op   <h1>Mailing List Archive</h1>
10 8e5ae9ac 2023-05-05 op </header>
11 8e5ae9ac 2023-05-05 op <nav>
12 8e5ae9ac 2023-05-05 op   <a href='/'>Index</a>
13 8e5ae9ac 2023-05-05 op </nav>