App Optionen filtern

In den Optionen kann nun nach Namenraum gefiltert werden.