Best highlighter add-on I've come across, and I've tested a few. Hotkeys, highlight saving, convenient popup menu for most necessary actions. Thank you.