updated texinfo docs to the ones from upstream