Lack of documentation for the ellipsis mechanism

[ybertot]

When Search returns a theorem with a huge statement, some parts of the theorem are ellided, but hovering over the ellipsis should give some hint on how to expand the ellipsis.