[PRQ#49437] Deletion Request for mini-ndn

MarsSeed [1] filed a deletion request for mini-ndn [2]: Unused, broken Python2 based experimental research tool from 2020. OOD flag ignored since Feb 2022. Upstream's last release was in 2021. [a] No AUR comments or votes. It seems better to delete at this point. [a]: https://github.com/named-data/mini-ndn/tags [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/mini-ndn/