Add reference as tooltip

[koppor]

Since we use the number theme, it is very hard to remember, which reference is which number. E.g., [5]. What reference is it? This especially gets harder when many referenced are used.

Therefore, I propose to add an additional tooltip (or to integrate the reference text in the existing tooltip) when hovering over a reference.