HighlighterKit: misc. tweaks