On 9/16/25 23:07, Jonathan Corbet wrote:
I have to admit that I'm not at all convinced that this change brings clarity to the document; using real numbers grounds the text in a way that "a.x" does not.If we really think it's embarrassing to still say "5.whatever" here, perhaps we should just change it to "9.whatever" and be good for a long time?
I think that's a good alternative idea. Thanks. -- An old man doll... just what I always wanted! - Clara
