The pull request is live at !
Is this right?
No! That's a good catch. The intended behaviour is that if you only search for a single word then all words will be highlighted, but if you search for multiple keywords the only the first matches will be shown. It was done this way because unfortunately the codemirror highlighting is pretty slow, and since users can search for an arbitrary number of keywords it just seemed like a disaster. Unfortunately when the fuzzy search was added now all searches have more than 1 keyword, hence the above.
If you have a recommendation for what the expected behaviour should be I'm all ears. I'm not really sure and I'm inclined to leave it as is.