MarsSeed [1] filed a deletion request for mate-search-tool [2]: Unneeded old version from 2018 of the mate-search-tool carried by Arch extra repo's mate-utils.
[1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/mate-search-tool/
