Re: [AC 21.5] Require makeinfo 4.12 or newer