Moin Martin,

Vermutlich hast du [...] diese Option aus der User-Config rausgenommen
Ich, am 30.8.

dann kann da kein Zusammenhang bestehen; denn wie gesagt, hat sich das für mich als Nutzer wahrnehmbare Verhalten erst vor schätzungsweise zwei Wochen geändert.

Das hat erst Auswirkungen, wenn die User-Config neu geschrieben wird. Die wird vollständig neu geschrieben, und wenn eine Option nicht mehr vorhanden ist, wird halt das globale Default genommen.

LG,
 CK