In other words Right. Thanks for reading my screed :).
+0.1 Basic Installation
Oops, thanks for noticing. It's a temporary bug in the development
makeinfo that I've been using. I'll regenerate to fix it, no need to
change anything in gnulib.
k
