Some additions to the highlighter API.
Now suggestions for new words can be done with reasonable speed, and there is no need for the client to keep a map of replacements around.

See my mail to k-c-d.

Also, it is now possible to ignore words or add them to the dictionary.