Reenable discover search (per user settings)

Ah yes, thanks for pointing that. There was actually a Bug here, I just pushed a fix:

4 Likes