As mentioned in standards.texi please send a "diff -c" patch to
<bug-standards@gnu.org>; Yes, although in practice bug-standards is me (filtering for rms), and I'm obviously on bug-gnulib too, so no need to do it right away :). I'll read the actual diff shortly.
