The default pause before a hint is hidden (in milliseconds).
Source position: forms.pp line 1675
const DefHintHidePause = 5 * DefHintPause;