JSDoc added. The highlighting is correct -- even though we are highlighting specific DOM elements, we are using a CSS selector like `[data-brackets-id='42']` to do the highlighting.