The addition of tags and options for colour coding to them would allow users to categorise words (for example by difficulty) and see any occurrence of saved words with the proper colour-coded background in a text, instantly knowing if they've encountered the word already and how difficult they find to memorise it.

Also unknown words should, as an option, be colour-coded as well.