Agree, that would make sense to do. Also agree it shouldn’t block the PR you created here. And you’ve got this bit already, which helps:
When set to false, anons going to
/searchwill be sent to the login page.
Looks sufficient to address this request as a first step.