Better hover for highlight annotations
Submitted by Jose Aliste
Using just the rectangle to hover a highlight annotation is not good. For instance, it is easy to have two highlight annotations with rectangles that overlap. Currently we cannot detect this... These patches fix that. These are rebased from Giselle's work.