On Mon, 3 Jun 2024, Richard Biener wrote: > install.texi also has the issue that it's not pre-packaged in a > easy to discover and readable file in the release tarballs and that > the online version is only for trunk.
The latter is only partially true: we generally try to keep it applicable more broadly - to a fault at times, if you look at some of the recent pruning I had to do. Gerald