Eric Blake wrote: ... > Meanwhile, no one ever reviewed my proposed doc patch: > > https://lists.gnu.org/archive/html/bug-gnulib/2012-04/msg00167.html
Links to mailman-archived messages are hard to read the moment they contain a few "@" (address@obfuscated) signs, so texinfo is much easier to read via e.g., a gmane link: http://thread.gmane.org/gmane.comp.lib.gnulib.bugs/30488 That patch/alternate-approach seems reasonable. I read through it and didn't see any problem.
