[Giorgio Valoti]

I’ve just installed the revision #88829. It seems that now I’m unable to search within the notes. Has anyone seen this?