--- Comment #58 from Fridolin SOMERS <[hidden email]> ---
(In reply to Katrin Fischer from comment #56)
> As this would be a change of behavior now after a long time of dom
> indexing... should we make it possible to switch the one that is used in the
> GUI when selecting 'keyword'?
Ineed, maybe we could create a system pref that defines which index is used
when no index is specified : any, anywhere or other custom index maybe.