“hover delay” is another name for Hover intent.