<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-size:small"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Mar 11, 2021 at 4:18 PM Steffen Nurpmeso <<a href="mailto:steffen@sdaoden.eu">steffen@sdaoden.eu</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">John P. Linderman wrote in<br>
 <<a href="mailto:CAC0cEp9GVsYbjYhsYk2Hjjj90FxYFAia2Luy_vg854NTrV3Hww@mail.gmail.com" target="_blank">CAC0cEp9GVsYbjYhsYk2Hjjj90FxYFAia2Luy_vg854NTrV3Hww@mail.gmail.com</a>>:<br>
 |The tab/detab horse was still twitching, so I decided to beat it a little<br>
 |more.<br>
 |<br>
 |Doug's claim that tabs saving space was an urban legend didn't ring true,<br>
 |but betting again Doug is a good way to get poor quick. <br></blockquote><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Not really.  I mean, i do not insist of this, but i looked at the<br>
numbers.  And despite col(1) 2.36.2 giving the wrong line when<br>
failing to dig a LATIN1 in UTF-8 (should be 7, gave 11), when<br>
i sum up the total of 8: in an old project with tests,<br>
documentation etc. here the output is 1044401.  This is without<br>
generated data. <br></blockquote><div><br></div><div class="gmail_default" style="font-size:small">I'm not certain what you are referring to by "Not Really". But there is a general issue about the ability of historical commands (like "ed") to properly handle unicode. I would expect that many early commands do very poorly. -- jpl</div></div></div>