js console: annotated right gutter, show tooltips