On 02/04/13 10:28, Jean-Marc Lasgouttes wrote: >> I am not sure if it has anything to do with utf8. The expanded string looks >> like it is expanded for LaTeX. This looks quite wrong to me in context of >> searching. Why is this done? > > This is how advanced search works.
Confirm. This is how the current implementation works. Nonetheless, alternative (and more efficient) implementations of the idea might be possible. T.