^ [#31233] Complete move to Bootstrap tooltips. Thanks Peter van
Westen.
(Fix #1356)