Can hidden settings be excluded from admin search?

[Moin]

I’d close it. Currently, there is nothing to do, and re-opening is always possible if needed.

The PR was linked in Additional groups not visible on /about page - #22 by ted. That’s how I found it