Bounding boxes for hat / arrow / bar are disconnected from the token they modify.

[andrewhead]

As can be seen here, when \overrightarrow{h} is selected, there are two bounding boxes that appear for they symbol---one for the arrow and one for the h.

I think this is not good from a usability perspective, as it suggests to me that the arrow can be clicked independently of the h to look up information about just the arrow. But that isn't the case, because clicking on the arrow will only show information about the h-arrow symbol.

A change in either the pipeline code or the bounding box rendering code in the UI could combine together the bounding boxes, showing the bounding box for h-arrow as a single box.