* Highlight text as TTS plays - attempt 1
* Make highlighting actually work
* Fix to minor version of punctuation issue
* Highlights all applicable text
* fix: filter out punctuation tokens in the client side when highlighing audio tokens
* Highlight selection separate from normal selection
* cleanup: further decouple tts highlighting and token selection, renamed temporarySelection => _highlightedTokens
* fix: don't show token highlights for non-overlay messages
---------
Co-authored-by: ggurdin <46800240+ggurdin@users.noreply.github.com>
Co-authored-by: ggurdin <ggurdin@gmail.com>
* fix: only show space analytics download button on web
* fix: don't close keyboard right after opening lemma meaning text field
* fix: make proportion the number of relevant tokens with completed activities over the number of relevant tokens
