texinfo patches (strictness): binutils, gdb, gcc