Can hidden settings be excluded from admin search?

[chapoi]

I do admire how apt you always are at pinpointing the relevant commits.

Would you prefer to keep this topic open or shall I close it out, now that the titular problem has been resolved?