/gnu/usr.bin/texinfo/patches/