On Fri, Dec 04, 2020 at 10:37:56PM +0100, Christopher Dimech wrote: > > That could be it. I got that from the website where it says > "latest texinfo.tex macro file"
This location is indeed used to do releases of texinfo.tex before the whole texinfo package release, but it is still in general not as fresh as the git file, especially when the changes are still being tested. -- Pat