A GitHub-style hover card: hovering the @alice-chen mention reveals a profile popover whose content is a fully-built DOM element (name, role and stats), showing the HTMLElement content path rather than an HTML string.