Integrated comments from Simon
Shared Encoder instances between different highlighters and adopted same encoders for postings highlighter to avoid different output (e.g. escaped chars)