Several users have contacted us about problems searching their manuals. We investigated and found that search indexes had grown to the point where our search engine was running out of memory.
We have now updated our server configuration to allow more memory for the search engine, which has resolved the problem.
If you still encounter problems searching, please let us know!