Sync with current texinfo changes from fink stable