Le 07/01/2025 à 16:57, karl@??? a écrit :
> The 80 chars line length comes from what was common on punched cards

    Sure, but where does the line-lenth of the punched cards come from? (~:

--     Didier