I haven’t used kate but does it not have some sort of easy search?

ex. pacman -Qm to list AUR packages; should display the 3/4 pkgs you have installed. Then just search in kate for those 3/4 results?

Alternatively cat & grep in the terminal is pretty straight forward.

That is if it’s 3/4 pkgs that are from AUR, but if someone has hundreds installed that is a bigger issue on its own.

woah now; I also share the debian iso! ✌🏼