Hmm, it seems it was a temporary glitch maybe?
Because I can find that setting on the config page again:
A lot has changes since May, so let me know if you still have any issues with hidden settings + search.
