Jo, die kannte ich. Was ich bisher allerdings noch nicht gesehen hatte, war die alphabetische Auflistung sämtlicher ports. Das kann sehr hilfreich sein, wenn man nicht genau weiß, was man sucht und die Suchfunktion deswegen fehlschlägt -> kdeutilities/kdeutils ....
Danke einstweilen :-)...