https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109355
--- Comment #5 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- As I mentioned in previous discussions of this idea: any implementation should *not* involve simply editing the old generated files in place; it needs to involve keeping an unmodified copy of those files (which it might not readily be possible to regenerate now with current Texinfo) and having a properly automated process that goes from the unmodified source to the modified version served on the website, with the ability to rerun a new version of that process at any time.
