feature #4548 :  Now the user zoom is displayed only if the mouse pointer is hovering a user name during a given time