Un nouveau sujet sur un comportement similaire a été ouvert dans Bug avec des instructions plus détaillées sur ce comportement :
Je vais donc fermer celui-ci, marqué comme résolu, en faveur de l’autre. C’est un problème mineur, mais il est plus approprié de le signaler dans Bug, d’autant plus qu’il a été signalé plusieurs fois.