Setting delay of map tips in QGIS?

It is possible to set the map tip delay from QGIS 3.2:

You can not change it in the GUI, as it is hard-coded. We can see in qgisapp.cpp, createMapTips()

 // set the interval to 0.850 seconds - timer will be started next time the mouse moves
  mpMapTipsTimer->setInterval( 850 );