Den Bug hatte ich vor Jahren schon mal reported und seit dem immer wieder beobachtet, wenn ich vergessen hatte, vorher auf chrome zu wechseln.
