Restore (with bug) highlight formulas
Inline getTokenPosition and getFlagTokenType for efficiency
Remove unused methods in TeXTokenSpan; inline instead
Lesson learnt: reset Matcher whenever we use it