check-texinfo: add "the the"