^ [#31212] Changed tooltips of table headings from Mootools to
Bootstrap. Thanks Peter van Westen.
(Fix #1329)