Update paper

papers/p3107.bs

@@ -382,7 +382,7 @@ print_direct       51.3 ns         51.0 ns     13846580
 
 Note that estimated CPU frequency is incorrect.
 
-On Linux(Ubuntu 22.04.3 LTS) with gcc 11.4.0, glibc/libstdc++ and Intel Core
+On Linux (Ubuntu 22.04.3 LTS) with gcc 11.4.0, glibc/libstdc++ and Intel Core
 i9-9900K CPU the results are similar except that `printf` is slightly faster
 than `print` with the stack-allocated buffer optimization:
 

papers/p3107.html

@@ -1563,7 +1563,7 @@
   </style>
   <meta content="Bikeshed version 4416b18d5, updated Tue Jan 2 15:52:39 2024 -0800" name="generator">
   <link href="https://isocpp.org/favicon.ico" rel="icon">
-  <meta content="01dd7bb8115e990188e91ba39f398d158af42852" name="revision">
+  <meta content="98dc8adec4335238f35d9d2e7c972e5a98af3b60" name="revision">
 <style>/* Boilerplate: style-autolinks */
 .css.css, .property.property, .descriptor.descriptor {
     color: var(--a-normal-text);
@@ -2432,7 +2432,7 @@ <h2 class="heading settled" data-level="6" id="perf"><span class="secno">6. </sp
 <c- n>print_direct</c->       <c- mf>51.3</c-> <c- n>ns</c->         <c- mf>51.0</c-> <c- n>ns</c->     <c- mi>13846580</c->
 </pre>
    <p>Note that estimated CPU frequency is incorrect.</p>
-   <p>On Linux(Ubuntu 22.04.3 LTS) with gcc 11.4.0, glibc/libstdc++ and Intel Core
+   <p>On Linux (Ubuntu 22.04.3 LTS) with gcc 11.4.0, glibc/libstdc++ and Intel Core
 i9-9900K CPU the results are similar except that <code class="highlight"><c- n>printf</c-></code> is slightly faster
 than <code class="highlight"><c- n>print</c-></code> with the stack-allocated buffer optimization:</p>
 <pre class="highlight"><c- n>Run</c-> <c- n>on</c-> <c- p>(</c-><c- mi>16</c-> <c- n>X</c-> <c- mi>3600</c-> <c- n>MHz</c-> <c- n>CPU</c-> <c- n>s</c-><c- p>)</c->