1.1--- a/.hgsubstate	Sun Aug 25 00:15:40 2024 -0400
     1.2+++ b/.hgsubstate	Tue Aug 27 21:35:44 2024 -0400
     1.3@@ -1,5 +1,5 @@
     1.4-6d54ccb29de49b69efad01615504eb7f00a88c3c blog
     1.5-517e7b6fb42dff88e0928ad63217c86b0a38eb08 docs
     1.6-f747ffac7f40a06ce055ab8fb3444b396e9667e4 meta
     1.7-531810d42debc5b34991d0dba7f09a3f85d15768 notes
     1.8-52d2d51f3b0d52ef6041b96dcda85d26e800ac97 plan
     1.9+3e5bf3bfe44a352752966590023cfb11d33f5d5f blog
    1.10+478286afc620868a13b2b255b461f6dcf5c3d10b docs
    1.11+4728f14839e42129684061f178cd36018cf235ac meta
    1.12+a04ca5a66178e77d78d645a4ec95f807e303b530 notes
    1.13+fd32bff88de602342b455abf50608610f2bef3cf plan

     2.1--- a/clean.theme	Sun Aug 25 00:15:40 2024 -0400
     2.2+++ b/clean.theme	Tue Aug 27 21:35:44 2024 -0400
     2.3@@ -2,8 +2,10 @@
     2.4 #+STARTUP: entitiespretty
     2.5 #+language: ulang
     2.6 #+DATE: {{{modification-time("%F %r", t)}}}
     2.7-#+OPTIONS: org-html-head-include-default-style:t ^:nil _:nil email:t \n:nil Tex:t LaTeX:t broken-links:mark toc:nil
     2.8+#+OPTIONS: org-html-head-include-default-style:t ^:nil _:nil email:t \n:nil Tex:t LaTeX:t broken-links:mark toc:t
     2.9 #+HTML_DOCTYPE: html5
    2.10+#+HTML_LINK_HOME: https://compiler.company
    2.11+#+HTML_LINK_UP: https://compiler.company
    2.12 #+LATEX_HEADER: \usepackage{placeins}
    2.13 #+LATEX_HEADER: \usepackage{parskip}
    2.14 #+LATEX_HEADER: \usepackage{xcolor}
    2.15@@ -18,57 +20,31 @@
    2.16 #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/font/3270.css" />
    2.17 #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/font/pragmata-pro.css" />
    2.18 
    2.19-#+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/css/htmlize.css" />
    2.20+#+HTML_HEAD_EXTRA: <script type="text/javascript" src="https://cdn.compiler.company/js/jquery.min.js"></script>
    2.21+#+HTML_HEAD_EXTRA: <script type="text/javascript" src="https://cdn.compiler.company/js/esquemadorg.js"></script>
    2.22 
    2.23-#+HTML_HEAD:  <style type="text/css">
    2.24-#+HTML_HEAD: 
    2.25-#+HTML_HEAD: *,
    2.26-#+HTML_HEAD: *::before,
    2.27-#+HTML_HEAD: *::after {
    2.28-#+HTML_HEAD:     box-sizing: border-box;
    2.29-#+HTML_HEAD:     margin: 0;
    2.30-#+HTML_HEAD:     padding: 0;
    2.31-#+HTML_HEAD: }
    2.32-#+HTML_HEAD: :root {
    2.33-#+HTML_HEAD:     --text: #111;
    2.34-#+HTML_HEAD:     --middle: #555;
    2.35-#+HTML_HEAD:     --bg: #aaa;
    2.36-#+HTML_HEAD:     --max-width: 54ch;
    2.37-#+HTML_HEAD:     font-size: 16px;
    2.38-#+HTML_HEAD: }
    2.39-#+HTML_HEAD: /* @media (prefers-color-scheme: dark) {
    2.40-#+HTML_HEAD:     :root {
    2.41-#+HTML_HEAD:         --text: #aaa;
    2.42-#+HTML_HEAD:         --middle: #555;
    2.43-#+HTML_HEAD:         --bg: #111;
    2.44-#+HTML_HEAD:     }
    2.45-#+HTML_HEAD: } */
    2.46-#+HTML_HEAD: * {
    2.47-#+HTML_HEAD:     -webkit-box-sizing:  border-box;
    2.48-#+HTML_HEAD:        -moz-box-sizing:  border-box;
    2.49-#+HTML_HEAD:             box-sizing:  border-box;
    2.50-#+HTML_HEAD: }
    2.51+#+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/css/htmlize.css" />
    2.52+#+HTML_HEAD: <style type="text/css">
    2.53 #+HTML_HEAD: body {
    2.54 #+HTML_HEAD:     font-family:  "CommitMono", monospace;
    2.55-#+HTML_HEAD:     font-size:  14px;
    2.56-# #+HTML_HEAD:     -webkit-font-smoothing: antialiased;
    2.57-# #+HTML_HEAD:     -moz-osx-font-smoothing: grayscale;
    2.58-# #+HTML_HEAD:     font-feature-settings: "ss01", "ss03", "ss04", "ss05";
    2.59+#+HTML_HEAD:     -webkit-font-smoothing: antialiased;
    2.60+#+HTML_HEAD:     -moz-osx-font-smoothing: grayscale;
    2.61+#+HTML_HEAD:     font-feature-settings: "ss01", "ss03", "ss04", "ss05";
    2.62 #+HTML_HEAD:     color:  #EFFAF9;
    2.63 #+HTML_HEAD:     background-color: #0C0F0A;
    2.64 #+HTML_HEAD: }
    2.65 
    2.66 #+HTML_HEAD: div.status {
    2.67-# #+HTML_HEAD:     position: fixed;
    2.68+#+HTML_HEAD:     position: fixed;
    2.69 # #+HTML_HEAD:     margin: 0.2em;
    2.70 #+HTML_HEAD:     text-align: center;
    2.71 #+HTML_HEAD: }
    2.72 
    2.73 #+HTML_HEAD: h1, h2, h3, h4, h5, h6 {
    2.74 #+HTML_HEAD:     position:  relative;
    2.75-#+HTML_HEAD:     margin:  16px 0 8px;
    2.76+# #+HTML_HEAD:     margin:  16px 0 8px;
    2.77 #+HTML_HEAD:     font-weight:  bold;
    2.78-#+HTML_HEAD:     line-height:  1.1;
    2.79+# #+HTML_HEAD:     line-height:  1.1;
    2.80 #+HTML_HEAD:     color:  #DDCAD9;
    2.81 #+HTML_HEAD:     text-rendering:  optimizeLegibility;
    2.82 #+HTML_HEAD: }
    2.83@@ -232,7 +208,7 @@
    2.84 #+HTML_HEAD: /* body */
    2.85 #+HTML_HEAD: body {
    2.86 #+HTML_HEAD:     margin:  auto auto;
    2.87-#+HTML_HEAD:     max-width:  98%;
    2.88+# #+HTML_HEAD:     max-width:  98%;
    2.89 #+HTML_HEAD: }
    2.90 #+HTML_HEAD: /* head */
    2.91 #+HTML_HEAD: .masthead {
    2.92@@ -241,7 +217,7 @@
    2.93 #+HTML_HEAD: .masthead: after {
    2.94 #+HTML_HEAD:     display:  block;
    2.95 #+HTML_HEAD:     content:  '----------------------------------------------------------------';
    2.96-#+HTML_HEAD:     margin:  10px 0;
    2.97+# #+HTML_HEAD:     margin:  10px 0;
    2.98 #+HTML_HEAD:     color:  #EDF060;
    2.99 #+HTML_HEAD: }
   2.100 #+HTML_HEAD: .masthead a {
   2.101@@ -384,59 +360,59 @@
   2.102 #+HTML_HEAD:   backdrop-filter: blur(6px);
   2.103 #+HTML_HEAD: }
   2.104 
   2.105-#+HTML_HEAD: /* table of content */
   2.106-#+HTML_HEAD: nav, #table-of-contents {
   2.107-#+HTML_HEAD:   cursor: pointer;
   2.108-#+HTML_HEAD:     position:  fixed;
   2.109-#+HTML_HEAD:     right:  0.2em;
   2.110-#+HTML_HEAD:     top:  0.2em;
   2.111+# #+HTML_HEAD: /* table of content */
   2.112+# #+HTML_HEAD: nav, #table-of-contents {
   2.113+# #+HTML_HEAD:   cursor: pointer;
   2.114+# #+HTML_HEAD:     position:  fixed;
   2.115+# #+HTML_HEAD:     right:  0.2em;
   2.116+# #+HTML_HEAD:     top:  0.2em;
   2.117 # #+HTML_HEAD:     border: 1px solid #e1e1e8;
   2.118-#+HTML_HEAD:     -webkit-box-shadow:  0 0 1em #777777;
   2.119-#+HTML_HEAD:     -moz-box-shadow:  0 0 1em #777777;
   2.120-#+HTML_HEAD:     -webkit-border-bottom-left-radius:  5px;
   2.121-#+HTML_HEAD:     -moz-border-radius-bottomleft:  5px;
   2.122-#+HTML_HEAD:     text-align:  right;
   2.123-#+HTML_HEAD:     /* ensure doesn't flow off the screen when expanded */
   2.124-#+HTML_HEAD:     height:  auto;
   2.125+# #+HTML_HEAD:     -webkit-box-shadow:  0 0 1em #777777;
   2.126+# #+HTML_HEAD:     -moz-box-shadow:  0 0 1em #777777;
   2.127+# #+HTML_HEAD:     -webkit-border-bottom-left-radius:  5px;
   2.128+# #+HTML_HEAD:     -moz-border-radius-bottomleft:  5px;
   2.129+# #+HTML_HEAD:     text-align:  right;
   2.130+# #+HTML_HEAD:     /* ensure doesn't flow off the screen when expanded */
   2.131+# #+HTML_HEAD:     height:  auto;
   2.132 # #+HTML_HEAD:     overflow-y: scroll;
   2.133-#+HTML_HEAD:     z-index:  11;
   2.134-#+HTML_HEAD: }
   2.135-#+HTML_HEAD: 
   2.136-#+HTML_HEAD: #table-of-contents h2 {
   2.137-#+HTML_HEAD:   margin: 0em;
   2.138-#+HTML_HEAD:   font-size: 48px;
   2.139+# #+HTML_HEAD:     z-index:  11;
   2.140+# #+HTML_HEAD: }
   2.141+# #+HTML_HEAD: 
   2.142+# #+HTML_HEAD: #table-of-contents h2 {
   2.143+# #+HTML_HEAD:   margin: 0em;
   2.144+# #+HTML_HEAD:   font-size: 48px;
   2.145 # #+HTML_HEAD:   font-stretch: ultra-expanded;
   2.146-#+HTML_HEAD: }
   2.147+# #+HTML_HEAD: }
   2.148 #+HTML_HEAD: 
   2.149-#+HTML_HEAD: #table-of-contents ul {
   2.150-#+HTML_HEAD:   margin-left:  14pt;
   2.151-#+HTML_HEAD:   margin-bottom:  10pt;
   2.152-#+HTML_HEAD:   padding:  0
   2.153-#+HTML_HEAD: }
   2.154+# #+HTML_HEAD: #table-of-contents ul {
   2.155+# #+HTML_HEAD:   margin-left:  14pt;
   2.156+# #+HTML_HEAD:   margin-bottom:  10pt;
   2.157+# #+HTML_HEAD:   padding:  0
   2.158+# #+HTML_HEAD: }
   2.159 #+HTML_HEAD: 
   2.160-#+HTML_HEAD: #table-of-contents li {
   2.161-#+HTML_HEAD:     padding:  0;
   2.162-#+HTML_HEAD:     margin:  1px;
   2.163-#+HTML_HEAD:     list-style:  none;
   2.164-#+HTML_HEAD: }
   2.165+# #+HTML_HEAD: #table-of-contents li {
   2.166+# #+HTML_HEAD:     padding:  0;
   2.167+# #+HTML_HEAD:     margin:  1px;
   2.168+# #+HTML_HEAD:     list-style:  none;
   2.169+# #+HTML_HEAD: }
   2.170 
   2.171-#+HTML_HEAD: #table-of-contents li a {
   2.172-#+HTML_HEAD:     font-size:  16px;
   2.173-#+HTML_HEAD: }
   2.174-#+HTML_HEAD: 
   2.175-#+HTML_HEAD: #table-of-contents #text-table-of-contents {
   2.176-#+HTML_HEAD:   backdrop-filter: blur(6px);
   2.177-#+HTML_HEAD:   display:  none;
   2.178-#+HTML_HEAD:   text-align:  left;
   2.179-#+HTML_HEAD:   padding-right: 0.1em;
   2.180-#+HTML_HEAD: }
   2.181-#+HTML_HEAD: 
   2.182-#+HTML_HEAD: #table-of-contents: hover #text-table-of-contents {
   2.183-#+HTML_HEAD:     display:  block;
   2.184-#+HTML_HEAD:     padding:  0.5em;
   2.185-#+HTML_HEAD:     margin-top:  -1.5em;
   2.186-#+HTML_HEAD: }
   2.187-#+HTML_HEAD: 
   2.188+# #+HTML_HEAD: #table-of-contents li a {
   2.189+# #+HTML_HEAD:     font-size:  16px;
   2.190+# #+HTML_HEAD: }
   2.191+# #+HTML_HEAD: 
   2.192+# #+HTML_HEAD: #table-of-contents #text-table-of-contents {
   2.193+# #+HTML_HEAD:   backdrop-filter: blur(6px);
   2.194+# #+HTML_HEAD:   display:  none;
   2.195+# #+HTML_HEAD:   text-align:  left;
   2.196+# #+HTML_HEAD:   padding-right: 0.1em;
   2.197+# #+HTML_HEAD: }
   2.198+# #+HTML_HEAD: 
   2.199+# #+HTML_HEAD: #table-of-contents: hover #text-table-of-contents {
   2.200+# #+HTML_HEAD:     display:  block;
   2.201+# #+HTML_HEAD:     padding:  0.5em;
   2.202+# #+HTML_HEAD:     margin-top:  -1.5em;
   2.203+# #+HTML_HEAD: }
   2.204+# #+HTML_HEAD: 
   2.205 #+HTML_HEAD: /* footer */
   2.206 #+HTML_HEAD: .footer {
   2.207 #+HTML_HEAD:     margin:  80px 0 0;
   2.208@@ -499,9 +475,9 @@
   2.209 # #+HTML_HEAD:   padding-left: 1em;
   2.210 #+HTML_HEAD: }
   2.211 
   2.212-#+HTML_HEAD: .outline-2 {
   2.213-#+HTML_HEAD:   padding-top: 1.8em;
   2.214-#+HTML_HEAD: }
   2.215+# #+HTML_HEAD: .outline-2 {
   2.216+# #+HTML_HEAD:   padding-top: 1.8em;
   2.217+# #+HTML_HEAD: }
   2.218 
   2.219 #+HTML_HEAD: .org-dl {
   2.220 #+HTML_HEAD:   
   2.221@@ -528,7 +504,7 @@
   2.222 
   2.223 #+HTML_HEAD: .title {
   2.224 #+HTML_HEAD:   text-align: center;
   2.225-#+HTML_HEAD:   padding-top: 1.8em;
   2.226+# #+HTML_HEAD:   padding-top: 1.8em;
   2.227 #+HTML_HEAD: }
   2.228 
   2.229 #+HTML_HEAD: div#postamble.status {
   2.230@@ -687,18 +663,18 @@
   2.231 #+HTML_HEAD: 
   2.232 #+HTML_HEAD:  </style>
   2.233 #+HTML_HEAD:<script type="text/javascript">
   2.234-#+HTML_HEAD:  document.addEventListener('DOMContentLoaded',function() {
   2.235-#+HTML_HEAD:      document.getElementById("table-of-contents").onclick = function() {
   2.236-#+HTML_HEAD:          var elem = document.getElementById("text-table-of-contents");
   2.237-#+HTML_HEAD:          elem.style.display = elem.style.display == "block" ? "none" : "block";
   2.238-#+HTML_HEAD:      }
   2.239-#+HTML_HEAD:  });
   2.240-#+HTML_HEAD:  document.addEventListener('DOMContentLoaded',function() {
   2.241-#+HTML_HEAD:      document.getElementById("nav").onclick = function() {
   2.242-#+HTML_HEAD:          var elem = document.getElementById("text-index");
   2.243-#+HTML_HEAD:          elem.style.display = elem.style.display == "block" ? "none" : "block";
   2.244-#+HTML_HEAD:      }
   2.245-#+HTML_HEAD:  });
   2.246+# #+HTML_HEAD:  document.addEventListener('DOMContentLoaded',function() {
   2.247+# #+HTML_HEAD:      document.getElementById("table-of-contents").onclick = function() {
   2.248+# #+HTML_HEAD:          var elem = document.getElementById("text-table-of-contents");
   2.249+# #+HTML_HEAD:          elem.style.display = elem.style.display == "block" ? "none" : "block";
   2.250+# #+HTML_HEAD:      }
   2.251+# #+HTML_HEAD:  });
   2.252+# #+HTML_HEAD:  document.addEventListener('DOMContentLoaded',function() {
   2.253+# #+HTML_HEAD:      document.getElementById("nav").onclick = function() {
   2.254+# #+HTML_HEAD:          var elem = document.getElementById("text-index");
   2.255+# #+HTML_HEAD:          elem.style.display = elem.style.display == "block" ? "none" : "block";
   2.256+# #+HTML_HEAD:      }
   2.257+# #+HTML_HEAD:  });
   2.258 #+HTML_HEAD:
   2.259 #+HTML_HEAD:  var url = document.location.href;
   2.260 #+HTML_HEAD:  var orgsource = url.substring(0, url.lastIndexOf("."))+".org";