Re: [PATCH] texinfo: Update to 6.1