also, all the dotted-underlined text doesn't seem to have any tooltips for us? had to open devtools to discover that you seem to be using some data-tippy-... attribute, presumably for some javascript to pick up, but why can't you just use regular html `title`?