42.47.3

Fixes

Ignore spaces before and after search terms3970

A search term with spaces before or after it now gives the same results as the term without them. Spaces inside a term do not change. This includes analysis, sequence, and read file searches.