And old version of TexInfo? Not that hard I think. But we can do without the docs of an old version of GCC?