[aur-requests] [PRQ#32730] Orphan Request for metamath

MarsSeed [1] filed an orphan request for metamath [2]: Unmaintained - Flagged out-of-date (2020-12-17) [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/metamath/