main
Highlights viewer (#778)
Comment count: use UI font
Highlighter 2.0 (#797)
Highlights: Improve search