Thanks to all contributors for this awesome editor.

Merging this PR is optional, as the code in wordHighlighter.ts works as intended (the property with the typo is private, and the typo is perfectly reproduced each time it is used in the WordHighlighterContribution class). However, I think it future-proofs any potential code re-use down the road to correct all occurrences of the typo now.