Re: [rfc-i] Unicode in xml2rfc v3

John R Levine <johnl@taugh.com> Sun, 20 December 2020 01:30 UTC

Return-Path: <rfc-interest-bounces@rfc-editor.org>
X-Original-To: ietfarch-rfc-interest-archive@ietfa.amsl.com
Delivered-To: ietfarch-rfc-interest-archive@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id EB49C3A040B; Sat, 19 Dec 2020 17:30:08 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.45
X-Spam-Level:
X-Spam-Status: No, score=-2.45 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_INVALID=0.1, DKIM_SIGNED=0.1, HEADER_FROM_DIFFERENT_DOMAINS=0.25, MAILING_LIST_MULTI=-1, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=fail (2048-bit key) reason="fail (message has been altered)" header.d=iecc.com header.b=YIBpaBi5; dkim=fail (2048-bit key) reason="fail (message has been altered)" header.d=taugh.com header.b=Klh4A5S0
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id d3ud92l_rdE4; Sat, 19 Dec 2020 17:30:06 -0800 (PST)
Received: from rfc-editor.org (rfc-editor.org [4.31.198.49]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 5652E3A044E; Sat, 19 Dec 2020 17:30:06 -0800 (PST)
Received: from rfcpa.amsl.com (localhost [IPv6:::1]) by rfc-editor.org (Postfix) with ESMTP id 68765F40756; Sat, 19 Dec 2020 17:29:53 -0800 (PST)
X-Original-To: rfc-interest@rfc-editor.org
Delivered-To: rfc-interest@rfc-editor.org
Received: from localhost (localhost [127.0.0.1]) by rfc-editor.org (Postfix) with ESMTP id 511A8F40756 for <rfc-interest@rfc-editor.org>; Sat, 19 Dec 2020 17:29:52 -0800 (PST)
X-Virus-Scanned: amavisd-new at rfc-editor.org
Authentication-Results: rfcpa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=iecc.com header.b=YIBpaBi5; dkim=pass (2048-bit key) header.d=taugh.com header.b=Klh4A5S0
Received: from rfc-editor.org ([127.0.0.1]) by localhost (rfcpa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 41Xi_aB9JJOb for <rfc-interest@rfc-editor.org>; Sat, 19 Dec 2020 17:29:47 -0800 (PST)
Received: from gal.iecc.com (gal.iecc.com [IPv6:2001:470:1f07:1126:0:43:6f73:7461]) by rfc-editor.org (Postfix) with ESMTPS id 91BD0F40754 for <rfc-interest@rfc-editor.org>; Sat, 19 Dec 2020 17:29:47 -0800 (PST)
Received: (qmail 94697 invoked from network); 20 Dec 2020 01:29:59 -0000
DKIM-Signature: v=1; a=rsa-sha256; c=simple; d=iecc.com; h=date:message-id:from:to:subject:in-reply-to:references:mime-version:content-type; s=171e5.5fdea917.k2012; i=johnl-iecc.com@submit.iecc.com; bh=CzLMh8H1wjdhzlrZzT7w++e1EoqhFBAFgpXIZEU9nqQ=; b=YIBpaBi5vXTbTaap0OGrZZV4rz1aDXbYGqqoBKVKdSgZ+hjhfZKU3TryuACogN/ZszXI+r7kdibl2NDMmaYgl9DDdOD3gPKbf/Rq9iqz4aHEdFkrNl+4EuzM6drqbXyVIm91iUPKyd0EeWnWDczNF5mUfugkrbpTc427H7plPiN71MIpTQl2lStaD86wrxEkapxO5/xCqjYbJYPuvLwUeAjn4B8yLA2jTrlhTJZxzScpd4hM0JTBRxWXiRntoEGAfu5TPx1oEpf4aUwWakYeDERl377CssWgkByd27MI6ggWaKXZ7epK1UdPzUfZrDMPWoNNAEjV1rXse4addMhK7w==
DKIM-Signature: v=1; a=rsa-sha256; c=simple; d=taugh.com; h=date:message-id:from:to:subject:in-reply-to:references:mime-version:content-type; s=171e5.5fdea917.k2012; olt=johnl-iecc.com@submit.iecc.com; bh=CzLMh8H1wjdhzlrZzT7w++e1EoqhFBAFgpXIZEU9nqQ=; b=Klh4A5S0TfpaynJtarO+Tl7Et7Qbg3H6/vlzRI0JAn2/sp60N8bHoUPClJa3aeJSaWaZpXO+/5DpmAgGo5mFH9Oxikrljm7CTFpD2Ss17kHCxP0IFLWnzaQpLxYODxIUyuZO9HSTKA8oZL+E/0k8B0D9jdoS4WCKH7tvMgOwlxQCH2idQOeapCv7oPu0LxQRsxQn7LCkkyErSMEG3AprKmYOKX/NKBNbJGSWr1fpEj4jyRlI3/DOfD5srAoBCNed8nNBn/pE5JgbsHIyHlWBqbEDRuyOcwopja74aWx60f483SFRAFXIaywlD9zcgt5Tig5L5Shb5RNQTV7pL8brvw==
Received: from localhost ([IPv6:2001:470:1f07:1126::78:696d:6170]) by imap.iecc.com ([IPv6:2001:470:1f07:1126::78:696d:6170]) with ESMTPSA (TLS1.3 ECDHE-RSA AES-256-GCM AEAD, johnl@iecc.com) via TCP6; 20 Dec 2020 01:29:58 -0000
Date: Sat, 19 Dec 2020 20:29:58 -0500
Message-ID: <93bd1bc0-229-3914-ba71-ccaf1976f69@taugh.com>
From: John R Levine <johnl@taugh.com>
To: Marc Petit-Huguenin <marc@petit-huguenin.org>, rfc-interest@rfc-editor.org
In-Reply-To: <53f68fa2-933f-8909-0c37-6e8e1d5e9c9b@petit-huguenin.org>
References: <20201219215415.CFEBA2AE17AC@ary.qy> <53f68fa2-933f-8909-0c37-6e8e1d5e9c9b@petit-huguenin.org>
MIME-Version: 1.0
Subject: Re: [rfc-i] Unicode in xml2rfc v3
X-BeenThere: rfc-interest@rfc-editor.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "A list for discussion of the RFC series and RFC Editor functions." <rfc-interest.rfc-editor.org>
List-Unsubscribe: <https://www.rfc-editor.org/mailman/options/rfc-interest>, <mailto:rfc-interest-request@rfc-editor.org?subject=unsubscribe>
List-Archive: <http://www.rfc-editor.org/pipermail/rfc-interest/>
List-Post: <mailto:rfc-interest@rfc-editor.org>
List-Help: <mailto:rfc-interest-request@rfc-editor.org?subject=help>
List-Subscribe: <https://www.rfc-editor.org/mailman/listinfo/rfc-interest>, <mailto:rfc-interest-request@rfc-editor.org?subject=subscribe>
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset="us-ascii"; Format="flowed"
Errors-To: rfc-interest-bounces@rfc-editor.org
Sender: rfc-interest <rfc-interest-bounces@rfc-editor.org>

On Sat, 19 Dec 2020, Marc Petit-Huguenin wrote:
> I care exclusively about specifications that can be implemented as 
> interoperable programs.  The minimal formulation for such specifications is a 
> dependent type, which can be always be expressed in ASCII.

I entirely agree that it makes sense to write code in ASCII.

But most of the contents of RFCs is not code, it's text, and we have 
hundreds of years of experience typesetting text.  Look at any decently 
produced book or magazine and you will see that the character set is a lot 
broader than ASCII, which makes it a lot more readable.

Regards,
John Levine, johnl@taugh.com, Taughannock Networks, Trumansburg NY
Please consider the environment before reading this e-mail. https://jl.ly
_______________________________________________
rfc-interest mailing list
rfc-interest@rfc-editor.org
https://www.rfc-editor.org/mailman/listinfo/rfc-interest