The current tooltip system does the job but is basic.

While navigating website generated by F# Formatting, I am often frustrated by the inconsistency in the tooltip system.

You can't go inside of the tooltip to select or copy something from it:

The tooltip placement depends on where you initially place your mouse cursor:

Working with tooltip is difficult, and could be a good candidate for an external library? Would you be ok with a proposition to use a library like Tippy.js for example?

I am proposing Tippy.js because it was one of the first result from Google and it seems to do what would be needed:

• HTML Content
• Allow interactive like hover / select
• Placement we could place it top-start to be similar to IDE behavior and it handle screen overflow