Juri Linkov <juri@linkov.net> writes:

> I agree this would be the right thing, because even in Isearch we have
> variables that duplicate the user options such as e.g. the option
> 'search-invisible' and the internal variable 'isearch-invisible'.

Thanks!

Jim, please have a look at the attached updated patch, which includes
this change. Thank you!