doc: drop texinfo
Old legacy. The generated .texi sources cause a huge number of warnings that we do not have a good way of fixing, and lately it stopped working completely, without giving us any explanation as to what the problem is (just exit code 1 and no error message).