<div dir="ltr"><div class="gmail_default" style="font-family:monospace">Agreed. I find that "ugly, but functional" tends to motivate people. At least this way, the folks who care about formatting only have to fix formatting. They don't have to do all of the digging.</div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">And for those reading along, let me assert -- feel free to rework my design however you like. I'm just giving SOME design, so that it's up and usable as is.</div></div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Tue, Mar 18, 2025 at 7:15 AM Magnus Ihse Bursie <<a href="mailto:magnus.ihse.bursie@oracle.com">magnus.ihse.bursie@oracle.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><u></u>

  
  <div>
    <p>On 2025-03-17 03:42, David Alayachew wrote:</p>
    <blockquote type="cite">
      
      <div dir="ltr">
        <div style="font-family:monospace" class="gmail_default">First
          Pull Request has been made. It has 4 entries in it. I will
          probably make it my weekly weekend activity to add at least 1
          or 2.</div>
      </div>
    </blockquote>
    <p>Hooray! Thank you for your efforts. </p>
    <p>As an amber lurker, I think this is just about what I wanted to
      see. Or, to put it differently, I think this passes the "good
      enough" bar with flying marks, and that given that the alternative
      is "nothing at all", then "good enough" is all that was required.
      As you say, additional tweaking can always be done as we go along.</p>
    <p>/Magnus<br>
    </p>
  </div>

</blockquote></div>