[PRQ#42699] Deletion Request for gnutls-nodocs-git

MarsSeed [1] filed a deletion request for gnutls-nodocs-git [2]: Abandoned variant of gnutls-git from 2021. Has not been kept at feature-parity with repo gnutls. Not needed: gnutls-git is enough to keep, and it has an active and dedicated maintainer. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/gnutls-nodocs-git/