Es gibt inzwischen so viele Einstellungen für projo, die auch teilweise mehreren Themenfeldern zugeordnet sein könnten, dass es manchmal schwer ist, eine bestimmte Einstellung (wieder) zu finden. Wir brauchen daher ein Suchfeld für die Einstellungen.