I just noticed that searching for terminator (a well known terminal emulator) also returns hits for terminal:
As you can see in the image above, terminal is highlighted as though it were a hit. It works as expected if I quote "terminator" but that shouldn't be necessary. I am guessing there is some kind of magic going on behind the scenes that assumes that I mistyped terminator and actually meant terminal but it seems like more of a bug than a feature if so.
