Update texinfo repository documentation manual in texinfo format. This
    commit removes the Models2 documentation entry which was added as test
    to try the `--copy' option, and now the `--delete' option.