Renamed the HTMLTooltip element added by @oeekker to have the
common prefix and following the naming rules.