Nein, nichts dergleichen, bisher ist dieses Problem auch nicht wieder aufgetreten, also scheint wirklich ein Fehler bei exakt diesem Tooltip dort zu sein.