How to switch on/off 'tooltips'

Working with 100% image size in the darkroom and making intense use of hovering / clicking the history stack, the often big ‘tooltips popups’ with all the set/changed infos disturb and distract a lot.

My question: Where in the settings / preferences can these (or all) ‘tooltips’ be switched off?

I couldn’t find any hint in the preferences or online manual … so I might have overlooked something trivial.

darktable → preferences → shortcuts

Ctrl+t

Shift+t … not Ctrl+t (has to do with tagging)

Thanks anyway, because Ctrl+t and Shift+t are next to each other in the shortcuts settings - thus I noticed it!

Ah sorry, I must have re-assigned it locally.