Flint: Copy-paste the content of the tooltip
Feedback from @homsrego
It would be good to find a way to copy-paste the content of the tooltip.
For example, the tooltip could be transformed into a window, in order to allow copy-paste, or a right click could do it.