Nothing needs this in the tree, it needs an obsolete texinfo version and also needs old gnat-gcc that is unmaintained and buggy
This is also the only consumer of gnat-gcc
removed