* doc/misc/texinfo.tex: Revert previous change (Bug#23611).