Small changes to notmuch-search-terms synopsis due to mark, and I made one commit message more formal, because Tomi is a stickler for that kind of thing ;).