basic term searching implemented (TODO: fix auto disjunction on space!); highlighted document text -> search terms for doc glyph highlighting. Also, most-certain now in top-left corner.